Sujeto y Predicado
•Como toda proposición es una frase,
debe tener un Predicado y un Sujeto.
•El Predicado, en la proposición, es lo
que se afirma o niega del sujeto.
Sujeto y predicado
Ejemplo:
Los pingüinos son aves.
Sujeto y predicado
Ejemplo:
Los pingüinos son aves.
Sujeto Predicado
Sujeto y predicado
U
Aves
Pingüinos
No aves
Si el Predicado se refiere a parte o la
totalidad del universo planteado en una
proposición, se asigna al respectivo
predicado un cuantificador existencial o
universal.
Cuantificador existencial
• Expresa el hecho de que el predicado de
la proposición se asigna a una parte del
universo.
• Palabras: existe(n), hay, alguno(s), existe
al menos uno.
• Símbolo:
Cuantificador existencial
• Existen algunas aves que no vuelan.
• Al menos un número par es primo.
• Algunos seres humanos son insensibles al
dolor ajeno.
• Hay definiciones que confunden.
• Hay consejos que hacen daño.
Cuantificador universal
Acompaña al Sujeto y expresa el hecho de
que el predicado de la proposición se asigna
a la totalidad del universo.
Las palabras que lo denotan son: para
todo, todos, para cada o cada, ningún.
El símbolo que lo denota es: .
Cuantificador universal
• Todos los mamíferos son vertebrados.
• Todos los hombres son mortales.
• Cada persona tiene su secreto.
• Los pingüinos son aves.
• Las críticas no son malas.
• Todos los estudiantes tienen menos de 18
años es equivalente a
• Ningún estudiante tiene más de 18 años
Cuantificador universal
• Todos los estudiantes tienen menos de 18
años
es equivalente a
• Ningún estudiante tiene más de 18 años
Negación del Cuantificador
existencial
~[ x P(x)] : x [~P(x)]
• No existe al menos un elemento del
universo que cumple P(x) es equivalente a
todos los elementos del universo no
cumple P(x).
• La negación de un cuantificador
existencial se obtiene de un cuantificador
universal.
Negación del Cuantificador
existencial
• Alguna droga es buena.
Negación:
Toda droga no es buena.
Toda droga es mala.
Las drogas son malas.
Negación del Cuantificador
existencial
Existen algunas aves que no vuelan.
• Todas las aves vuelan.
Al menos un miembro del club tiene 30 años o menos.
• Todos los miembros del club tienen más de 30 años.
Algunos seres humanos son insensibles al dolor ajeno.
• Todo ser humano es sensible al dolor ajeno.
Negación del Cuantificador
existencial
Hay definiciones que confunden.
• Toda definición no confunde.
• Toda definición es clara.
Hay consejos que hacen daño.
• Los consejos hacen bien.
• Cada consejo no hace daño.
Negación del Cuantificador
universal
~[ x P(x)] : x [~P(x)]
• No todos los elementos del universo
cumplen P(x) es equivalente a existe al
menos un elemento que no cumple P(x).
• La negación de un cuantificador
universal se obtiene de un cuantificador
existencial.
Negación del Cuantificador
universal
Todos los mamíferos son vertebrados.
Existen mamíferos que no son vertebrados.
Todos los hombres son mortales.
Algún hombre es inmortal.
Cada persona tiene su secreto.
Hay personas que no tienen secretos.
Negación del Cuantificador
universal
Los pingüinos son aves.
• Algún pingüino no es ave.
• Hay pingüinos que no son aves.
Las críticas no son malas.
• Algunas críticas son malas.
• Existen críticas malas.
Silogismos
Es un razonamiento lógico con dos
premisas donde se alternan, tanto en las
premisas como en la conclusión, el sujeto y
predicado.
Silogismos
P1. Cuantificador Q es R Q es sujeto y R predicado
P2. Cuantificador R es T R es sujeto y T predicado
Cuantificador T es Q T es sujeto y Q predicado
Silogismos
P1: Algunos hombres son agresivos.
P2: Todos los agresivos son peligrosos.
Algunos seres peligrosos son hombres.
Silogismos
P1: Todos los mamíferos toman leche.
P2: Todos los perros son mamíferos.
Todos los perros toman leche.
Silogismos
P1: Toda mujer es bella.
P2: Todo ser bello es orgulloso.
Todo ser orgulloso es mujer.
Conjunto Sujeto
• Conjunto que le corresponde en un
diagrama de Venn al Sujeto de cada una
de las frases que se establecen como
premisas en un silogismo.
Conjunto Sujeto
• Conjunto que le corresponde en un
diagrama de Venn al Sujeto de cada una
de las frases que se establecen como
premisas en un silogismo.
Conjunto Sujeto
Ejemplos Conjunto Sujeto
Todo Q es R.
Todos los M son Z.
Algunos R son S.
Ningún Z es P
Conjunto Sujeto
Ejemplos Conjunto Sujeto
Todo Q es R. Q
Todos los M son Z. M
Algunos R son S. R
Ningún Z es P Z
Validez de un silogismo
• Todo A es B
Validez de un silogismo
• Todo A es B
• Zonas vacías={ Z1 }
Validez de un silogismo
• Ningún A es B
Validez de un silogismo
• Ningún A es B
• Zona Vacía={ Z2 }
Validez de un silogismo
• Algún A es B
Validez de un silogismo
• Algún A es B
• En Z2 existe al menos un elemento.
Validez de un silogismo
• Algún A no es B
Validez de un silogismo
• Algún A no es B
• Z1 tiene al menos un elemento.
Validez de un silogismo
• Existe x en A
Validez de un silogismo
• Existe x en A
• Un valor que puede estar en la zona Z1 o
en la zona Z2.
Determine la validez de:
1. Todo Q es R
2. Todo S es R
Todo S es Q
Determine la validez de:
1. Todo Q es R
2. Todo S es R
Todo S es Q
• P1 zonas vacías: Z1 y Z4
• P2: zonas vacías: Z4 y Z7
HQD Z6 y Z7 son vacías
Determine la validez de:
1. Todo Q es R
2. Todo S es R
Todo S es Q
• P1 zonas vacías: Z1 y Z4
• P2: zonas vacías: Z4 y Z7
HQD Z6 y Z7 son vacías.
Z7 es vacía por P2, pero no se puede determinar que Z6 sea vacía de las
premisas, por ende no se puede demostrar Z6 y Z7 es vacía. Por lo tanto,
el silogismo es inválido.
Determine la validez de:
1. Todo Q es R
2. Algún R es S
Algún S es Q
Determine la validez de:
1. Todo Q es R
2. Algún R es S
Algún S es Q
• P1: zonas vacías: Z1 y Z4
• P2: existe un x en Z5 o Z6
• HQD existe un x en Z4 o Z5
Determine la validez de:
1. Todo Q es R
2. Algún R es S
Algún S es Q
• P1: znas vacías: Z1 y Z4
• P2: existe un x en Z5 o Z6
• HQD existe un x en Z4 Z5
Basta demostrar que existe un x en Z5, ya que Z4 es vacía por P1.
De la P2 se tiene que existe un x en Z5 o Z6, pero no garantiza la
existencia en Z5, por lo que no se puede demostrar que existe un x
en Z5. Por lo tanto, silogismo inválido.
Determine la validez de:
1. Todo Q es R
2. Todo S es Q
Todo S es R
Determine la validez de:
1. Todo Q es R
2. Todo S es Q
Todo S es R
• P1: zonas vacías: Z1 y Z4
• P2: zonas vacías: Z1 y Z4
• HQD existe un x en Z4 o Z5
Basta demostrar que existe un x en Z5, ya que Z4 es vacía por P1.
De la P2 se tiene que existe un x en Z5 o Z6, pero no garantiza la
existencia en Z5, por lo que no se puede demostrar que existe un x
en Z5. Por lo tanto, silogismo inválido.
Bibliografía
• Luis Valverde. (2009) Introducción al
Razonamiento Lógico Matemático.
Editorial Guayacan.
