Valides de silogismos

Universidad Mariano Gálvez de Guatemala
Ingeniería en Sistemas y Ciencias de la Computación
Lógica de Sistemas
Ing. Hugo Díaz
Jacinto A. Rodríguez L. (0900-12-2840)Validez de Silogismos con Diagramas de Venn

Silogismo: es la disposición u orden de los términos dentro de las proposiciones, no todos los silogismos son válidos, laclave es analizar y reconocerlos por su figura silogística. Además estas tres proposiciones pueden representarse mediante la fórmula booleanas en diagramas, por estemotivo es posible analizar el silogismo como la resultante de una intersección de 3 clases, cada una de las cuales representa al término medio (M), termino mayor (P), terminomenor (S).
El diagrama que presenta la relación de estas tres claces se presenta a continuación:

Los pasos que se deben utilizar para validar un silogismo condiagramas de ven son:
Paso 1: se debe determinar las premisas y la conclusión. También se debe encontrar los 3 términos.
Paso 2: determinar la formula booleana de cadaproposición categórica.
Paso 3: dibujar las 3 clases de términos por convención.
Paso 4: Diagramar solo las premisas. El silogismo será válido si aparece, se comprueba o verificala conclusión.
Ejemplo:
Determine la validez del siguiente silogismo.
1) Todo argentino es sudamericano, además, algún lógico es argentino. Por lo tanto, algún lógicoes sudamericano.
Primer paso:
Pm: Todo A es S
Pm: Algún L es A
C: Algún L es S
Segundo paso:
Pm: AS = 
Pm: LA  
C: LS  
Tercer Paso:

CuartoPaso:
Vemos que la conclusión C, que señala que existen elementos comunes a L y S, efectivamente queda diagramada cuando dibujamos las premisas. El silogismo es válido.