Los diagramas de Venn como herramienta para la enseñanza de las principales conectivas de la lógica proposicional.
De las distintas herramientas que podemos utilizar para enseñar
la relación que expresan las principales conectivas
(lógica proposicional), por lo general, las tablas de verdad y
ejemplos que apelan al lenguaje natural son las más
favorecidas. Pero también pueden ser enseñadas con
diagramas. Mi propuesta es enseñar las conectivas
lógicas con diagramas de Venn; ésta puede ser una buena
opción para enseñar las conectivas a estudiantes que
intuyen más de forma espacial las relaciones entre
proposiciones. Se propone utilizar clases de mundos posibles
representadas por círculos para enseñar las conectivas
lógicas en lugar de proposiciones.