Lógica proposicional y Diagramas de Euler

Lógica proposicional y Diagramas de Euler

El presente artículo introduce la relación entre la lógica proposicional y los diagramas de euler. Si bien es cierto que existen muchas técnicas para el manejo de la lógica simbólica, la mayoria de estas técnicas son útiles cuando se tiene un grupo de premisas y una o varias conclusiones explícitas. Los diagramas de euler son especialmente útiles cuando se tiene un grupo de premisas y se desea extraer de ellas una o varias conclusiones. Poseen ademas la ventaja de ser un método gráfico que muestra el proceso de deducción.

Tiempo compartido

http://www.ic-itcr.ac.cr/tiempo_compartido/tc_viejo/pdfs/29.pdf

null