SlideShare uma empresa Scribd logo
1 de 1
VALIDEZ DEL SILOGISMO POR
DIAGRAMAS DE VENN
1. Introducción
Se sabe que el silogismo categórico estructuralmente
está compuesto por 3 proposiciones categóricas que
contienen a su vez dentro de ellas 3 términos.
Además, estas 3 proposiciones categóricas se pueden
representar mediante la fórmula booleanas en
diagramas.
Por este motivo es posible analizar el silogismo
como la resultante de un intersección de 3 clases,
cada una de las cuales representa respectivamente al
término medio (T. medio), al término mayor o
predicado de la conclusión (TM) y al término menor
o sujeto de la conclusión (tm).
De la relación de estas 3 clases resulta el siguiente
diagrama en el que se distinguen 8 áreas.

* 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ógico es
sudamericano.
PRIMER PASO:
PM: Todo A es S
Pm: Algún L es A
C: Algún L es S
SEGUNDO PASO:
PM: A =
Pm: LA
C: LS
TERCER PASO:

Pasos
1er. Paso: determinar las premisas y la conclusión.
Hallar los 3 términos.
2do. Paso: determinar la fórmula booleana de cada
proposición categórica.
3er. Paso: aplicar la ley del contenido existencial
4to. Paso: Dibujar las 3 clases (términos mayor,
menor y medio) agregando las premisas
existenciales.
5to Paso: Diagramar todas las premisas. El silogismo
será válido si aparece, se comprueba o verifica la
conclusión.
Ejemplo:
Determine la validez del siguiente silogismo:
1) Toda ave es un ser vivo. Todo pelícano es ave. Por
ende, algún pelícano es ser vivo.
PRIMER PASO:
PM: Todo A es S
Pm: Todo P es A
C: Algún P es S
SEGUNDO PASO:
PM: A =
Pm: P
C: PS

CUARTO PASO:
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.
CASO ESPECIAL

2. Pasos
1er. Paso: determinar las premisas y la conclusión.
Hallar los 3 términos.
2do. Paso: determinar la fórmula booleana de cada
proposición categórica.
3er. Paso: dibujar las 3 clases (términos mayor,
menor y medio) así por convención.
4to. Paso: Diagramar solo las premisas. El silogismo
será válido si aparece, se comprueba o verifica la
conclusión.

Cuando las premisas son universales (A,E) y la
conclusión es particular (I,O) se procede como en el
caso anterior pero aplicando la ley del contenido
existencial:
*Se busca en el silogismo las variables que están
repetidas, en dicha clase existe al menos un elemento
*Si no hay se da contenido existencial a todas las
variables
*Pero si hay más de una premisa existencial es
inválida

* TERCER PASO: LEY DEL CONTENIDO
EXISTENCIAL
PM: A =
Pm: P
Pe: P
C: PS
CUARTO PASO:

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

Mais conteúdo relacionado

Mais procurados

Proposiciones CategóRicas
Proposiciones CategóRicasProposiciones CategóRicas
Proposiciones CategóRicasrafael felix
 
Funciones Veritativas
Funciones VeritativasFunciones Veritativas
Funciones Veritativasrafael felix
 
Teoría de tema central
Teoría de tema centralTeoría de tema central
Teoría de tema centralLUISM1979
 
Presentación - Introducción a Falacias Formales e Informales
Presentación - Introducción a Falacias Formales e InformalesPresentación - Introducción a Falacias Formales e Informales
Presentación - Introducción a Falacias Formales e InformalesAlfredo Muñoz
 
Esquema validez de inferencias por diagramas de venn semestral uni
Esquema validez de inferencias por diagramas de venn semestral uniEsquema validez de inferencias por diagramas de venn semestral uni
Esquema validez de inferencias por diagramas de venn semestral unirafael felix
 
Esquema cuadro tradicional de oposición de boecio semestral uni
Esquema cuadro tradicional de oposición de boecio semestral uniEsquema cuadro tradicional de oposición de boecio semestral uni
Esquema cuadro tradicional de oposición de boecio semestral unirafael felix
 
Los principios lógicos supremos
Los principios lógicos supremosLos principios lógicos supremos
Los principios lógicos supremosAriMaya900
 
Razonamientos
RazonamientosRazonamientos
Razonamientosmtamoni
 
Presentacion - Argumentación - Introducción a Falacias Formales
Presentacion - Argumentación - Introducción a Falacias FormalesPresentacion - Argumentación - Introducción a Falacias Formales
Presentacion - Argumentación - Introducción a Falacias FormalesAlfredo Muñoz
 

Mais procurados (20)

Silogismo
SilogismoSilogismo
Silogismo
 
Logica y argumento
Logica y argumentoLogica y argumento
Logica y argumento
 
Proposiciones CategóRicas
Proposiciones CategóRicasProposiciones CategóRicas
Proposiciones CategóRicas
 
Silogismos
SilogismosSilogismos
Silogismos
 
Logica iii cepre uni
Logica iii cepre uniLogica iii cepre uni
Logica iii cepre uni
 
Argumentos. premisas y conclusiones
Argumentos. premisas y conclusionesArgumentos. premisas y conclusiones
Argumentos. premisas y conclusiones
 
Funciones Veritativas
Funciones VeritativasFunciones Veritativas
Funciones Veritativas
 
Cuadro de oposición
Cuadro de oposiciónCuadro de oposición
Cuadro de oposición
 
Cuadro De Boecio
Cuadro De BoecioCuadro De Boecio
Cuadro De Boecio
 
Teoría de tema central
Teoría de tema centralTeoría de tema central
Teoría de tema central
 
Principios logicos
Principios logicosPrincipios logicos
Principios logicos
 
SILOGISMOS
SILOGISMOSSILOGISMOS
SILOGISMOS
 
Presentación - Introducción a Falacias Formales e Informales
Presentación - Introducción a Falacias Formales e InformalesPresentación - Introducción a Falacias Formales e Informales
Presentación - Introducción a Falacias Formales e Informales
 
Esquema validez de inferencias por diagramas de venn semestral uni
Esquema validez de inferencias por diagramas de venn semestral uniEsquema validez de inferencias por diagramas de venn semestral uni
Esquema validez de inferencias por diagramas de venn semestral uni
 
Esquema cuadro tradicional de oposición de boecio semestral uni
Esquema cuadro tradicional de oposición de boecio semestral uniEsquema cuadro tradicional de oposición de boecio semestral uni
Esquema cuadro tradicional de oposición de boecio semestral uni
 
Silogismo
SilogismoSilogismo
Silogismo
 
Los principios lógicos supremos
Los principios lógicos supremosLos principios lógicos supremos
Los principios lógicos supremos
 
Razonamientos
RazonamientosRazonamientos
Razonamientos
 
Presentacion - Argumentación - Introducción a Falacias Formales
Presentacion - Argumentación - Introducción a Falacias FormalesPresentacion - Argumentación - Introducción a Falacias Formales
Presentacion - Argumentación - Introducción a Falacias Formales
 
La ProposicióN
La ProposicióNLa ProposicióN
La ProposicióN
 

Destaque

Silogismos 2
Silogismos 2Silogismos 2
Silogismos 2sportman
 
Practica dirigida de validez del silogismo por diagramas de venn semestral uni
Practica dirigida de validez del silogismo por diagramas de venn semestral uniPractica dirigida de validez del silogismo por diagramas de venn semestral uni
Practica dirigida de validez del silogismo por diagramas de venn semestral unirafael felix
 
Practica dirigida silogismo validez y filosofia moderna repaso unmsm
Practica dirigida silogismo validez y filosofia moderna repaso unmsmPractica dirigida silogismo validez y filosofia moderna repaso unmsm
Practica dirigida silogismo validez y filosofia moderna repaso unmsmrafael felix
 
Diferencia entre racionalismo y empirismo
Diferencia entre racionalismo y empirismoDiferencia entre racionalismo y empirismo
Diferencia entre racionalismo y empirismoDaNii GonzaLezz
 
Esquema silogismo categórico semestral uni
Esquema silogismo categórico semestral uniEsquema silogismo categórico semestral uni
Esquema silogismo categórico semestral unirafael felix
 
Esquema validez del silogismo por reglas aristotelicas semestral uni
Esquema validez del silogismo por reglas aristotelicas semestral uniEsquema validez del silogismo por reglas aristotelicas semestral uni
Esquema validez del silogismo por reglas aristotelicas semestral unirafael felix
 
Taller 7 Resolución de silogismos
Taller 7   Resolución de silogismosTaller 7   Resolución de silogismos
Taller 7 Resolución de silogismosEdgar Bravo
 
Ejercicios De Silogismo Y Validez
Ejercicios De Silogismo Y ValidezEjercicios De Silogismo Y Validez
Ejercicios De Silogismo Y Validezrafael felix
 
Validez por Reglas
Validez por ReglasValidez por Reglas
Validez por Reglasrafael felix
 
Ejemplos de silogismos mios
Ejemplos de silogismos miosEjemplos de silogismos mios
Ejemplos de silogismos miospuce-si
 
Ejercicios de silogismos
Ejercicios de silogismosEjercicios de silogismos
Ejercicios de silogismosMishellCarvajal
 
El silogismo
El silogismoEl silogismo
El silogismotherata
 
19 silogismo validos Logica proposicional
19 silogismo validos Logica proposicional19 silogismo validos Logica proposicional
19 silogismo validos Logica proposicionalmorataya7503
 
Silogismo reglas
Silogismo   reglasSilogismo   reglas
Silogismo reglasalemoralesv
 

Destaque (20)

Silogismos categóricosvf
Silogismos categóricosvfSilogismos categóricosvf
Silogismos categóricosvf
 
Silogismos 2
Silogismos 2Silogismos 2
Silogismos 2
 
Practica dirigida de validez del silogismo por diagramas de venn semestral uni
Practica dirigida de validez del silogismo por diagramas de venn semestral uniPractica dirigida de validez del silogismo por diagramas de venn semestral uni
Practica dirigida de validez del silogismo por diagramas de venn semestral uni
 
Practica dirigida silogismo validez y filosofia moderna repaso unmsm
Practica dirigida silogismo validez y filosofia moderna repaso unmsmPractica dirigida silogismo validez y filosofia moderna repaso unmsm
Practica dirigida silogismo validez y filosofia moderna repaso unmsm
 
Silogismo Categorico
Silogismo CategoricoSilogismo Categorico
Silogismo Categorico
 
Diferencia entre racionalismo y empirismo
Diferencia entre racionalismo y empirismoDiferencia entre racionalismo y empirismo
Diferencia entre racionalismo y empirismo
 
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
 
Esquema silogismo categórico semestral uni
Esquema silogismo categórico semestral uniEsquema silogismo categórico semestral uni
Esquema silogismo categórico semestral uni
 
Esquema validez del silogismo por reglas aristotelicas semestral uni
Esquema validez del silogismo por reglas aristotelicas semestral uniEsquema validez del silogismo por reglas aristotelicas semestral uni
Esquema validez del silogismo por reglas aristotelicas semestral uni
 
Taller 7 Resolución de silogismos
Taller 7   Resolución de silogismosTaller 7   Resolución de silogismos
Taller 7 Resolución de silogismos
 
Ejercicios De Silogismo Y Validez
Ejercicios De Silogismo Y ValidezEjercicios De Silogismo Y Validez
Ejercicios De Silogismo Y Validez
 
Taller logica
Taller logicaTaller logica
Taller logica
 
Validez por Reglas
Validez por ReglasValidez por Reglas
Validez por Reglas
 
Ejemplos de silogismos mios
Ejemplos de silogismos miosEjemplos de silogismos mios
Ejemplos de silogismos mios
 
Ejercicios de silogismos
Ejercicios de silogismosEjercicios de silogismos
Ejercicios de silogismos
 
El silogismo
El silogismoEl silogismo
El silogismo
 
19 silogismo validos Logica proposicional
19 silogismo validos Logica proposicional19 silogismo validos Logica proposicional
19 silogismo validos Logica proposicional
 
Las 8 reglas del silogismo
Las 8 reglas del silogismoLas 8 reglas del silogismo
Las 8 reglas del silogismo
 
Tema III . Lógica
Tema III . LógicaTema III . Lógica
Tema III . Lógica
 
Silogismo reglas
Silogismo   reglasSilogismo   reglas
Silogismo reglas
 

Semelhante a Validación de silogismos mediante diagramas de Venn

Silogismo resumen texto
Silogismo resumen textoSilogismo resumen texto
Silogismo resumen textovlcecilio
 
Ensayo fund matem_capit5
Ensayo fund matem_capit5Ensayo fund matem_capit5
Ensayo fund matem_capit5xavicc69
 
Teorema de tales y regla de tres
Teorema de tales y regla de tresTeorema de tales y regla de tres
Teorema de tales y regla de tresfrancisco0331
 
Calculo .............................................
Calculo  .............................................Calculo  .............................................
Calculo .............................................Edgar Caceres Cussi
 
Métodos de demostración
Métodos de demostraciónMétodos de demostración
Métodos de demostraciónAlex Cáceres
 
Métodos de demostración
Métodos de demostraciónMétodos de demostración
Métodos de demostraciónAlex Cáceres
 
Silogismo resumen texto (2)
Silogismo resumen texto (2)Silogismo resumen texto (2)
Silogismo resumen texto (2)vlcecilio
 
Diego vargas dia zs
Diego vargas dia zsDiego vargas dia zs
Diego vargas dia zsOmar Garcia
 
Diego vargas dia zsn
Diego vargas dia zsnDiego vargas dia zsn
Diego vargas dia zsnOmar Garcia
 
Elaboración de Ecuaciones con la opción Insertar Nueva Ecuación
Elaboración de Ecuaciones con la opción Insertar Nueva Ecuación Elaboración de Ecuaciones con la opción Insertar Nueva Ecuación
Elaboración de Ecuaciones con la opción Insertar Nueva Ecuación Ogeid Álvarez
 
Miguel trabajo janeth
Miguel trabajo  janethMiguel trabajo  janeth
Miguel trabajo janethOmar Garcia
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracionMarco Vinueza
 
Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...
Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...
Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...Karina
 

Semelhante a Validación de silogismos mediante diagramas de Venn (20)

Silogismo resumen texto
Silogismo resumen textoSilogismo resumen texto
Silogismo resumen texto
 
Ensayo fund matem_capit5
Ensayo fund matem_capit5Ensayo fund matem_capit5
Ensayo fund matem_capit5
 
Copyinferencias
CopyinferenciasCopyinferencias
Copyinferencias
 
Teorema de tales y regla de tres
Teorema de tales y regla de tresTeorema de tales y regla de tres
Teorema de tales y regla de tres
 
Calculo .............................................
Calculo  .............................................Calculo  .............................................
Calculo .............................................
 
Silogismos modo y figura
Silogismos modo y figuraSilogismos modo y figura
Silogismos modo y figura
 
Métodos de demostración
Métodos de demostraciónMétodos de demostración
Métodos de demostración
 
Métodos de demostración
Métodos de demostraciónMétodos de demostración
Métodos de demostración
 
Silogismo resumen texto (2)
Silogismo resumen texto (2)Silogismo resumen texto (2)
Silogismo resumen texto (2)
 
SILOGISMO
SILOGISMOSILOGISMO
SILOGISMO
 
Silogismos1
Silogismos1Silogismos1
Silogismos1
 
Diego vargas dia zs
Diego vargas dia zsDiego vargas dia zs
Diego vargas dia zs
 
Diego vargas dia zsn
Diego vargas dia zsnDiego vargas dia zsn
Diego vargas dia zsn
 
Elaboración de Ecuaciones con la opción Insertar Nueva Ecuación
Elaboración de Ecuaciones con la opción Insertar Nueva Ecuación Elaboración de Ecuaciones con la opción Insertar Nueva Ecuación
Elaboración de Ecuaciones con la opción Insertar Nueva Ecuación
 
Anon la logica
Anon   la logicaAnon   la logica
Anon la logica
 
Miguel trabajo janeth
Miguel trabajo  janethMiguel trabajo  janeth
Miguel trabajo janeth
 
Lógica & Silogismo
Lógica & SilogismoLógica & Silogismo
Lógica & Silogismo
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracion
 
Razonamiento monotono
Razonamiento monotonoRazonamiento monotono
Razonamiento monotono
 
Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...
Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...
Fascículo9. Mundo de las demostraciones. Trigonometría. Matemática Maravillos...
 

Mais de rafael felix

Filosofia del derecho, Filosofia del derecho
Filosofia del derecho, Filosofia del derechoFilosofia del derecho, Filosofia del derecho
Filosofia del derecho, Filosofia del derechorafael felix
 
La tecnología como un problema transdisciplinario.pptx
La tecnología como un problema transdisciplinario.pptxLa tecnología como un problema transdisciplinario.pptx
La tecnología como un problema transdisciplinario.pptxrafael felix
 
Felicidad. entre la estupidez y la inteligencia
Felicidad. entre la estupidez y la inteligenciaFelicidad. entre la estupidez y la inteligencia
Felicidad. entre la estupidez y la inteligenciarafael felix
 
El amor, según Marco Aurelio Denegri
El amor, según Marco Aurelio DenegriEl amor, según Marco Aurelio Denegri
El amor, según Marco Aurelio Denegrirafael felix
 
Feminismo y la filosofía política de judith butler
Feminismo y la filosofía política de judith butlerFeminismo y la filosofía política de judith butler
Feminismo y la filosofía política de judith butlerrafael felix
 
La manipulación cultural y estrategias para superarla: el caso peruano
La manipulación cultural y estrategias para superarla: el caso peruanoLa manipulación cultural y estrategias para superarla: el caso peruano
La manipulación cultural y estrategias para superarla: el caso peruanorafael felix
 
Investigación en UNMSM
Investigación en UNMSMInvestigación en UNMSM
Investigación en UNMSMrafael felix
 
Lógica de la conversación
Lógica de la conversaciónLógica de la conversación
Lógica de la conversaciónrafael felix
 
ÉTICA CONCEPTOS BÁSICOS
ÉTICA CONCEPTOS BÁSICOSÉTICA CONCEPTOS BÁSICOS
ÉTICA CONCEPTOS BÁSICOSrafael felix
 
Palabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser queridoPalabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser queridorafael felix
 
Ética de la investigación científica
Ética de la investigación científicaÉtica de la investigación científica
Ética de la investigación científicarafael felix
 
Logica unfv internacional
Logica unfv internacionalLogica unfv internacional
Logica unfv internacionalrafael felix
 
9 Nietzsche y Heidegger.
9 Nietzsche y Heidegger.9 Nietzsche y Heidegger.
9 Nietzsche y Heidegger.rafael felix
 
4 aristoteles y helenisticos
4 aristoteles y helenisticos4 aristoteles y helenisticos
4 aristoteles y helenisticosrafael felix
 
13 semana politica
13 semana politica13 semana politica
13 semana politicarafael felix
 

Mais de rafael felix (20)

Filosofia del derecho, Filosofia del derecho
Filosofia del derecho, Filosofia del derechoFilosofia del derecho, Filosofia del derecho
Filosofia del derecho, Filosofia del derecho
 
La tecnología como un problema transdisciplinario.pptx
La tecnología como un problema transdisciplinario.pptxLa tecnología como un problema transdisciplinario.pptx
La tecnología como un problema transdisciplinario.pptx
 
Felicidad. entre la estupidez y la inteligencia
Felicidad. entre la estupidez y la inteligenciaFelicidad. entre la estupidez y la inteligencia
Felicidad. entre la estupidez y la inteligencia
 
El amor, según Marco Aurelio Denegri
El amor, según Marco Aurelio DenegriEl amor, según Marco Aurelio Denegri
El amor, según Marco Aurelio Denegri
 
Feminismo y la filosofía política de judith butler
Feminismo y la filosofía política de judith butlerFeminismo y la filosofía política de judith butler
Feminismo y la filosofía política de judith butler
 
Acosador
AcosadorAcosador
Acosador
 
La manipulación cultural y estrategias para superarla: el caso peruano
La manipulación cultural y estrategias para superarla: el caso peruanoLa manipulación cultural y estrategias para superarla: el caso peruano
La manipulación cultural y estrategias para superarla: el caso peruano
 
Investigación en UNMSM
Investigación en UNMSMInvestigación en UNMSM
Investigación en UNMSM
 
Lógica de la conversación
Lógica de la conversaciónLógica de la conversación
Lógica de la conversación
 
ÉTICA CONCEPTOS BÁSICOS
ÉTICA CONCEPTOS BÁSICOSÉTICA CONCEPTOS BÁSICOS
ÉTICA CONCEPTOS BÁSICOS
 
Palabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser queridoPalabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser querido
 
Ética de la investigación científica
Ética de la investigación científicaÉtica de la investigación científica
Ética de la investigación científica
 
Acosador
AcosadorAcosador
Acosador
 
Logica unfv internacional
Logica unfv internacionalLogica unfv internacional
Logica unfv internacional
 
9 Nietzsche y Heidegger.
9 Nietzsche y Heidegger.9 Nietzsche y Heidegger.
9 Nietzsche y Heidegger.
 
14 Gnoseologia
14 Gnoseologia14 Gnoseologia
14 Gnoseologia
 
4 aristoteles y helenisticos
4 aristoteles y helenisticos4 aristoteles y helenisticos
4 aristoteles y helenisticos
 
13 semana politica
13 semana politica13 semana politica
13 semana politica
 
6 ilustracion
6 ilustracion6 ilustracion
6 ilustracion
 
3 filosofia 3
3 filosofia 33 filosofia 3
3 filosofia 3
 

Validación de silogismos mediante diagramas de Venn

  • 1. VALIDEZ DEL SILOGISMO POR DIAGRAMAS DE VENN 1. Introducción Se sabe que el silogismo categórico estructuralmente está compuesto por 3 proposiciones categóricas que contienen a su vez dentro de ellas 3 términos. Además, estas 3 proposiciones categóricas se pueden representar mediante la fórmula booleanas en diagramas. Por este motivo es posible analizar el silogismo como la resultante de un intersección de 3 clases, cada una de las cuales representa respectivamente al término medio (T. medio), al término mayor o predicado de la conclusión (TM) y al término menor o sujeto de la conclusión (tm). De la relación de estas 3 clases resulta el siguiente diagrama en el que se distinguen 8 áreas. * 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ógico es sudamericano. PRIMER PASO: PM: Todo A es S Pm: Algún L es A C: Algún L es S SEGUNDO PASO: PM: A = Pm: LA C: LS TERCER PASO: Pasos 1er. Paso: determinar las premisas y la conclusión. Hallar los 3 términos. 2do. Paso: determinar la fórmula booleana de cada proposición categórica. 3er. Paso: aplicar la ley del contenido existencial 4to. Paso: Dibujar las 3 clases (términos mayor, menor y medio) agregando las premisas existenciales. 5to Paso: Diagramar todas las premisas. El silogismo será válido si aparece, se comprueba o verifica la conclusión. Ejemplo: Determine la validez del siguiente silogismo: 1) Toda ave es un ser vivo. Todo pelícano es ave. Por ende, algún pelícano es ser vivo. PRIMER PASO: PM: Todo A es S Pm: Todo P es A C: Algún P es S SEGUNDO PASO: PM: A = Pm: P C: PS CUARTO PASO: 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. CASO ESPECIAL 2. Pasos 1er. Paso: determinar las premisas y la conclusión. Hallar los 3 términos. 2do. Paso: determinar la fórmula booleana de cada proposición categórica. 3er. Paso: dibujar las 3 clases (términos mayor, menor y medio) así por convención. 4to. Paso: Diagramar solo las premisas. El silogismo será válido si aparece, se comprueba o verifica la conclusión. Cuando las premisas son universales (A,E) y la conclusión es particular (I,O) se procede como en el caso anterior pero aplicando la ley del contenido existencial: *Se busca en el silogismo las variables que están repetidas, en dicha clase existe al menos un elemento *Si no hay se da contenido existencial a todas las variables *Pero si hay más de una premisa existencial es inválida * TERCER PASO: LEY DEL CONTENIDO EXISTENCIAL PM: A = Pm: P Pe: P C: PS CUARTO PASO: QUINTO PASO: Vemos que la conclusión C, que señala que existen elementos comunes a P y S, efectivamente queda diagramada cuando dibujamos las premisas. El silogismo es válido.