VENN (DIAGRAMAS DE)

En el ar­tículo Clase hemos introducido varios diagramas que representan gráficamente cla­ses y relaciones entre clases. La idea de tal re­presentación gráfica se atribuye a Leonhard Euler, pero, como hemos señalado en otro lugar (Diagramas), fue probable­mente anticipada por diversos autores. A base de la misma, John Venn propuso representaciones gráficas de las proposiciones A, E, I, O (véase Proposición) y de silogis­mos. Estas representaciones permiten com­probar si un razonamiento silogístico dado es o no válido. El método de comprobación re­cibe por ello el nombre de «método de Venn».

Presentamos ante todo los diagramas de las proposiciones A, E, I, O:

Las partes sombreadas indican inexistencia de una clase; las partes marcadas con una ‘x’, existencia de una clase; las partes en blanco, ausencia de información sobre una clase.

Ahora bien, como los silogismos tienen tres términos, hay que introducir un tercer