P. 1
Diagramas de Venn

Diagramas de Venn

|Views: 35|Likes:
Publicado porJorgelina Cossy

More info:

Published by: Jorgelina Cossy on Mar 14, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

11/26/2013

pdf

text

original

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

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

llevamos primero la información suministrada por las dos premisas como se indica en la figura 8. . donde el punteado corresponde a la proposición 1 y el rayado a la proposición 2. Por tanto. todos los presidentes son mortales. Para construir el diagrama.1).Todos los hombres son mortales. Todos los presidentes son hombres . Ahora la conclusión válida debemos leerla en el diagrama tomando el término presidentes como sujeto y mortales como conclusión. Puede observarse que el dominio común a todas las funciones proposicionales es el conjunto de todos los humanos. 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 .

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

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

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

Utilice los diagramas de Venn.12 Algún M es P . • Todo M es P Algún S es M Algún S es P 1. ha quedado vacía. para determinar la validez de los siguientes argumentos. puesto que la región correspondiente (existencia) a la conclusión. podemos observar que la conclusión no es válida.4.4 Algún P es M 1.3 Ningún M es P Algún M no es S Algún S es P 1. 4.9 Algún M es P Algún M no es S Algún S no es P 1.8.5 Ejercicios propuestos 4.8.11 Ningún P es M Todo M es S Ningún S es P 1.10 Todo P es M Algún M es S Algún S es P 1. Confronte su resultado utilizando las reglas de validez respectivas.2 Ningún M es P Algún S no es M Algún S es P 1.Aplicando el método del diagrama. 1.

15 Algún M es P Todo S es M Algún S es P .7 Todo M es P Algún S no es M Algún S no es P 1.13 Ningún P es M Algún S es M 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.6 Ningún M es P Todo M es S Algún S no es P 1.Ningún S es M Algún S no es P 1.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.8 Todo P es M Algún S no es M Algún S es P 1.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->