4.8.4 Método gráfico para probar la validez de un silogismo.

Un método interesante para la determinación de la validez de un silogismo, es el método del diagrama, establecido por el lógico inglés John Venn (1.834 - 1.883) y conocido como diagramas de Venn. Si consideramos una función proposicional, recordaremos que su dominio está dividido en dos conjuntos disjuntos: el conjunto de verdad y el de no verdad. Lo anterior se ilustrará mediante un rectángulo que representa el dominio y un área del mismo, limitada por una circunferencia que representa el conjunto de verdad. Así en la función proposicional designada como P x con dominio D ; su representación gráfica se da en la figura 1.

Figura 1 Convenciones para la diagramación.

1. Para representar la proposición 2.

con valor de verdad verdadero, se sombrea la región del dominio que no pertenece al dominio de verdad de la función proposicional. Ver figura 2. Para representar la proposición con valor de verdad verdadero, se indica mediante una “X” que el conjunto de verdad P x es no vacío. Ver figura 3.

Veamos ahora la representación de las cuatro formas categóricas. Universal afirmativa y su negación: A y O

esto es: Aplicación del método del diagrama a silogismos. • Utilice la cuantificación restringida para indicar con mayor facilidad. Analicemos la siguiente argumentación. • Como puede apreciarse a través de las figuras anteriores. cada diagrama de Venn tiene su equivalente. las formas categóricas.Universal negativa y su negación: E e I Observación. . tal como se estableció en la negación de proposiciones cuantificadas.

donde el punteado corresponde a la proposición 1 y el rayado a la proposición 2. Para construir el diagrama. llevamos primero la información suministrada por las dos premisas como se indica en la figura 8. Puede observarse que el dominio común a todas las funciones proposicionales es el conjunto de todos los humanos. Ahora la conclusión válida debemos leerla en el diagrama tomando el término presidentes como sujeto y mortales como conclusión. . para lo cual sus conjuntos respectivos se destacan en un rectángulo en la figura 9. Representación simbólica (Código A A A . Todos los presidentes son hombres .1).Todos los hombres son mortales. todos los presidentes son mortales. Por tanto.

Graficar la siguiente argumentación. algunos carnívoros no son patos. (Código EAO -3 ). se encuentra diagramada la universal afirmativa “ todos los presidentes son mortales ”. Representación simbólica. Por tanto. Observamos ahora en las regiones P y M que. Todos los tigres son carnívoros . Ilustración 13. podemos decir que “Es suficiente diagramar las premisas de un argumento válido para que quede diagramada también su conclusión.Interpretación de resultados. Ningún pato es tigre. sin agregar trazos adicionales en los círculos”. . Resumiendo. de las cuatro formas categóricas.

Aplicando el método del diagrama. Todos los osos son cuadrúpedos En consecuencia: ningún oso es un ave.1) . Ilustración 14. puesto que la región correspondiente a la conclusión. (Código EAE . Ningún ave es un cuadrúpedo. podemos observar que la conclusión no es válida. Graficar la siguiente argumentación. no aparece diagramada. Representación simbólica.

3) . Ilustración 15. puesto que la región correspondiente a la conclusión. En consecuencia.Aplicando el método del diagrama. Representación simbólica. hay un animal de sangre caliente que es vertebrado. (Código AAI . ha quedado diagramada. Todo mamífero es un vertebrado Todo mamífero es un animal de sangre caliente. podemos observar que la conclusión es válida. Graficar la siguiente argumentación.

Confronte su resultado utilizando las reglas de validez respectivas. podemos observar que la conclusión no es válida.5 Ejercicios propuestos 4.8.Aplicando el método del diagrama. 4. 1.8.4 Algún P es M 1. ha quedado vacía. para determinar la validez de los siguientes argumentos.11 Ningún P es M Todo M es S Ningún S es P 1.9 Algún M es P Algún M no es S Algún S no es P 1. • Todo M es P Algún S es M Algún S es P 1. puesto que la región correspondiente (existencia) a la conclusión.2 Ningún M es P Algún S no es M Algún S es P 1.4.3 Ningún M es P Algún M no es S Algún S es P 1. Utilice los diagramas de Venn.10 Todo P es M Algún M es S Algún S es P 1.12 Algún M es P .

Ningún S es M Algún S no es P 1.6 Ningún M es P Todo M es S Algún S no es P 1.8 Todo P es M Algún S no es M Algún S es P 1.13 Ningún P es M Algún S es M Algún S no es P 1.7 Todo M es P Algún S no es M Algún S no es P 1.15 Algún M es P Todo S es M Algún S es P .5 Ningún P es M Todo S es M Ningún S es P Ningún M es S Algún S no es P 1.14 Algún M no es P Todo M es S Algún S no es P 1.

Sign up to vote on this title
UsefulNot useful