Lógica: Diagramas de Venn Euler.

¿Qué son?
Son esquemas que facilitan la relación existente entre dos o más conceptos de un modo gráfico:

1. Para las oraciones del tipo A se maneja un esquema en el cual el sujeto está dentro del predicado, pues como es TODO, se encuentra relacionado. Por ello se le nombra al gráfico: inclusión.
2. Para las oraciones del tipo E se emplea un esquema en el que se encuentran por separado el sujeto de predicado (ya que no tienen nada que ver), pues son del tipo NINGÚN. El gráfico se llama: exclusión.
3. Para las oraciones del tipo I se utiliza un esquema el cual se caracteriza porque su sujeto y predicado están unidos y como tienen relación se ilumina o sombrea la intersección de ambas (de ahí deriva su nombre).
4. Para las oraciones del tipo O se maneja un esquema en el que el sujeto y el predicado se encuentran unidos, más sin embargo, no tienen ninguna relación (pues es ALGÚN... NO), de tal manera que se ilumina o sombra el sujeto y el predicado. Este se llama: intersección (diferencia).

NOTAS: *El universo siempre debe tener relación con el sujeto de la oración.
*Las oraciones para emplear en los diagramas de Venn, siempre deben ser verdaderas.
*Siempre se debe de poner el nombre del diagrama correspondiente a la aseveración.

Veamos algunos ejemplos:

• Todo león es felino.  (animal).

• Ningún hombre es inmortal.

• Alguna canción es hermosa.

• Algún libro no es interesante.