Está en la página 1de 2

LÓGICA INFERENCIAL

Llamada también Lógica de Clases y es aquella que analiza la NEGACIÓN DE PROPOSICIONES CUANTIFICADAS
proposición lógica considerando la pertenencia o no pertenencia
de un elemento o individuo a una determinada clase. Es la  Todos los P son Q, su negación es: Algunos P no son Q
interpretación de una proposición o enunciado lingüístico bajo la  Ningún P es Q, su negación es: Algún P es Q
formalización de la teoría de conjuntos o Diagramas de Venn.
EQUIVALENCIAS DE PROPOSICIONES CUANTIFICADAS
DEFINICIONES
1. PREMISA: Afirmación o idea probada que se da como cierta
y que sirve de base a un razonamiento o una discusión. Algún P no es
Todo P es Q Ningún P es Q Algún P es Q
Q
2. SILOGISMO: Es una estructura lógica que está formada por
dos o más premisas, cuyo objetivo es encontrar una Ningún P es no Q Ningún Q es P Algún Q es P Algún P es no
conclusión válida llamada también inferencia. Todo no Q es no Todo P es no Algún P no es Q. Algún no Q
P Q.Todo Q es no Q. Ningún es P.Todo P
3. CLASE: Es una agrupación de elementos que tienen alguna
no P P no es Q no es Q
característica común. Por ejemplo la clase de los felinos, de
las niñas, de los automóviles, etc. Se les representa con P Q P Q P x Q P Q
letras mayúsculas: P, Q, R, etc. x
4. CLASE COMPLEMENTARIA: Son todos los conjuntos que
no pertenecen a la clase original. Por ejemplo la clase Consideraciones generales
complementaria de los felinos son los seres humanos, las 1) Cuando un silogismo tenga tres clases se grafica de la
rocas, las nubes, etc. Se le denomina como los no felinos. siguiente forma:

CUANTIFICADORES
Son expresiones verbales que indican cantidad. Por ejemplo:
 Todos los hombres son mortales.
 Algunas mujeres son coquetas.

CLASIFICACIÓN DE LOS CUANTIFICADORES 2) Cuando un silogismo tenga cuatro clases se grafica de la


CUANTIFICADORES CUANTIFICADORES siguiente forma:
UNIVERSALES PARTICULARES
Cuantificad Cuantificad
Cuantificad
or or Cuantificador
or particular
universal universal particular negativo
afirmativo
afirmativo negativo
Algunos
Todos Ningún Algunos….no…
Muchos
Varios……no…
Por lo
Cada uno Nadie Pocos…. no…. 3) Se realiza el análisis de los gráficos empezando por las
menos uno
proposiciones cuantificadas en forma universal. Ejemplo
 Algunas personas no son honestas.
ANÁLISIS DE GRÁFICOS
 Todos los honestos son racionales.
4) En las premisas debe de existir por lo menos un cuantificador
Se conviene que:
universal, es decir, de dos premisas cuantificadas en forma
particular nada se puede deducir. Ejemplo
VACIO  Algunos niños son traviesos.
 Algunos traviesos son ingeniosos.
Por lo tanto nada se puede inferir

x EXISTE AL MENOS UN ELEMENTO


EJERCICIOS
PROPOSICIONES
01. Dadas las premisas:
- Ninguno de los locos toca el piano.
DUALIDAD (puede tener o no - Ningún japonés deja de tocar el piano.
elementos) Entonces:
GRÁFICA DE PROPOSICIONES CUANTIFICADAS a) Algunos estudiantes tocan el piano.
b) Los japoneses en total son locos.
CUANTIFICADORES CUANTIFICADORES c) Ningún japonés es loco.
UNIVERSALES PARTICULARES d) Algunos japoneses son locos.
Cuantificador Cuantificador Cuantificador Cuantificador e) Todos los japoneses son locos.
universal universal particular particular
afirmativo negativo afirmativo negativo 02. “Ningún escritor es considerado apolítico”. Entonces:

Q P Q P P Q a) No existe escritor que sea político.


P x Q x b) No existe apolítico que sea escritor.
Se lee: Se lee: Se lee: Se lee: c) Todo escritor es apolítico.
Todos los P Ningún P es Algunos P Algunos P no d) Todo político es escritor.
son Q Q son Q son Q e) Ningún político es escritor.

 349-5555 37 www.agrociencias.com
03. Si afirmamos que: “todas las frutas son nutritivas” podemos 12. La negación de “Ni Juan estudia ni atiende a la clase” es:
concluir que: a) No es cierto que, Juan estudie y atienda a la clase
b) Juan estudia y atiende a la clase
a) Algunas frutas no son nutritivas. c) Juan no atiende a la clase o no estudia
b) No es el caso que algunas frutas sean nutritivas. d) Juan atiende a la clase o no estudia
c) No es el caso que algunas frutas no sean nutritivas. e) Juan atiende a la clase o estudia
d) Algunas frutas son amargas.
e) Ninguna fruta es nutritiva. 13. Si afirmamos que: “todo matemático es científico” podemos
concluir que:
04. Si asumimos que es cierta la afirmación: “todo poeta es a) Ningún matemático debe ser científico.
realista” entonces podemos concluir que: b) No todo matemático es científico.
c) Hay matemáticos que son analíticos.
a) Algunos poetas no son realistas. d) No es cierto que todo científico sea no matemático.
b) Ningún poeta es realista. e) Muchos matemáticos son científicos.
c) Algunos poetas son no realistas.
d) No es cierto que todo poeta sea realista. 14. Si “todo universitario es crítico”, entonces:
e) Ningún poeta es no realista. a) Ningún universitario es crítico.
b) Algún no universitario es crítico.
05. “Toda conquista es violenta”, de ahí que: c) Todo universitario es acrítico.
d) Alguien que sea universitario es crítico.
a) Algunas conquistas no son violentas. e) Algún universitario es no crítico.
b) Algunas conquistas son no violentas.
c) La conquista del Perú fue violenta.
d) No toda conquista es violenta. 15. I. Ninguno de los locos toca piano.
e) Ninguna conquista es violenta. II. Ningún japonés deja de tocar piano.
III. Todos los estudiantes son locos.
06. Si “algunos jueces son justos”, entonces: Entonces :
a) Algunos estudiantes tocan piano.
a) Todos los jueces son justos. b) Los japoneses estudian.
b) Todos los jueces son injustos. c) Ningún japonés es estudiante.
c) No es el caso que ningún juez sea no justo. d) Algunos japoneses son locos.
d) No es el caso que todo juez sea justo. e) Algunos japoneses son estudiantes y algunos locos no
e) Todos los justos son jueces. tocan piano.
ENUNCIADOS COMPUESTOS 16. Ningún aviador es empresario teatral.
Juan y Pedro son empresarios teatrales.
07. Si afirmamos que: “algunos reptiles son de sangre caliente y Todo empresario teatral es financista.
todo animal de sangre caliente es ovíparo”, entonces se Por lo tanto :
concluye: a) Ningún aviador es financista.
a) Todo reptil es ovíparo. b) Juan y Pedro son financistas y aviadores.
b) Ningún reptil es ovíparo. c) Juan es aviador y Pedro es financista.
c) Algunos reptiles son ovíparos. d) Ninguno es aviador ni financista.
d) Todo reptil no es de sangre caliente. e) Ninguna de las anteriores
e) No es cierto que algunos reptiles son ovíparos.
17. Si una persona hace deporte, vive muchos años.
08. Algunos poetas son fantasiosos. Todo fantasioso no es Ningún fumador vive muchos años.
realista. En consecuencia: Por lo tanto :
a) Todos los poetas son realistas. a) Ningún fumador hace deporte.
b) No es cierto que muchos poetas no sean realistas. b) Algunos deportistas fuman.
c) Muchos poetas no son escritores. c) Si Javier hace deporte, puede ser fumador.
d) Muchos poetas no son realistas. d) Si Gustavo fuma, es deportista.
e) Ningún poeta es realista. e) Ninguna de las anteriores.
09. De: 18. Sabiendo que :
- Todos los cantantes son artistas.  Todos los limeños son inteligentes.
- Algunos hombres son cantantes.  Algunos peruanos son limeños.
Se concluye:
a) Algunos hombres no son artistas. Podemos concluir:
b) Todos los hombres son cantantes.
c) Todos los cantantes son hombres. I. Todos los peruanos son inteligentes.
d) Algunos hombres son artistas. II. Algunos peruanos son inteligentes.
e) Ningún hombre es cantante. III. Todos los inteligentes son limeños.
10. “Muchos de los que ofrendan la vida son valientes y los a) Sólo I b) Sólo II c) Sólo I y II
valientes van a la gloria”. Luego: d) Sólo I y III e) Sólo II y III
a) Nadie que ofrenda la vida va a la gloria.
b) Todo aquel que ofrenda la vida va a la gloria.
c) Ninguno que ofrenda la vida va a la gloria.
d) Muchos de los que ofrendan la vida van a la gloria.
e) Todos los valientes van a la gloria.

11. “Ningún investigador es acrítico; ciertos investigadores son


racionalistas”. En efecto:
a) Algunos racionalistas son acríticos.
b) Algunos críticos son irracionales.
c) Algunos racionalistas son críticos.
d) Algunos críticos no son filósofos.
e) Algunos críticos son filósofos.

 349-5555 38 www.agrociencias.com