LÓGICA

“UNIVERSIDAD NACIONAL “JORGE BASADRE GROHMANN”

CENTRO PREUNIVERSITARIO
TEMA: INFERENCIA CUANTIFICACIONAL
CEPU CICLO II-2022

SILOGISMO CATEGÓRICO

Método práctico para resolver silogismos

categóricos

Diagrama de Venn
1. Si las premisas son UNIVERSALES
IMPLICATIVAS, se aplica la regla del
SILOGISMO CATEGÓRICO:

P1: x (Ax → Bx)

P2: x (Bx → Cx)
x (Ax → Cx)

Booleana
Formula
2. Si las premisas son combinadas: UNIVERSAL

𝑆𝑃ത = ∅

𝑆𝑃 = ∅

𝑆𝑃 ≠ ∅

𝑆𝑃ത ≠ ∅
– PARTICULAR, se aplican en orden sucesivo
3 reglas: SIMPLIFICACIÓN, MODUS
PONENDO PONENS O MODUS

Afirmativa

Afirmativa
TOLLENDO TOLLENS y, ADJUNCIÓN:
Cantidad

Cualidad

Universal

Universal

Particular

Particular
Negativa

Negativa
y

P1: x (Ax → Bx)

P2: x (Ax  Cx)
x (Cx  Bx)
Modo

𝑂
𝐴

𝐼
Estructura del silogismo categórico
Cuantificacional

∀𝑥(𝑆𝑥 → ¬𝑃𝑥)

∃𝑥(𝑆𝑥 ∧ ¬𝑃𝑥)
∃𝑥(𝑆𝑥 ∧ 𝑃𝑥)
∀𝑥(𝑆𝑥 → 𝑃𝑥)

Termino mayor (P): Se encuentra en la primera

Forma

premisa y hace de predicado en la conclusión.

Término medio (M): Aparece en ambas premisas y
desaparece en la conclusión.
Término menor (S): Se encuentra en la segunda
premisa y aparece en el sujeto de la conclusión. Algún S no es P S o P
SaP

SeP

SiP
Forma Típica

Figuras del silogismo

Todo S no es P
Ningún S es P

Algún S es P
Todos los cirujanos son médicos. Todo S es P

Se llaman figuras del silogismo a las diferentes

posiciones que adopta el término medio, cuyas
formas se expresan en las siguientes 4 figuras:

1° Figura 2° Figura 3° Figura 4° Figura

𝑀𝑃 𝑃𝑀 𝑀𝑃 𝑃𝑀
Proposiciones Categóricas

Todo dialectico no es filósofo.

𝑆𝑀 𝑆𝑀 𝑀𝑆 𝑀𝑆
Ningún lógico es ignorante.

Algún pez no es carnívoro.

𝑆𝑃 𝑆𝑃 𝑆𝑃 𝑆𝑃
Algún ganso es ave.

Reglas del silogismo

Premisas U U P + + -
U P P + - -
Conclusión U P No + - No
válida válida

1
 LÓGICA Práctica 10

Diagramas de venn La conclusión valida es:

Consiste en diagramar solo las premisas del A) x(Px  Mx) B) x(Sx  Px)
silogismo, la conclusión deberá leerse en el C) x(Sx → Px) D) x(Mx → Sx)
diagrama. Ejemplo: E) x(Sx  Px)

Encontrar la conclusión del siguiente silogismo, Solución:

utilizando diagramas. (1) x(Mx → Px)
✓ Todo ciclista es atleta. (2) x(Sx  Mx)
✓ Muchos cantantes no son atletas. (3) x(Sx) S: (2)
(4) x(Mx) S: (2)
Solución:
(5) x(Px) MPP: (1), (4)
En todo silogismo siempre existen 3 clases, en el
ejemplo: CICLISTAS, ATLETAS, CANTANTES. C: x(Sx  Px) A: (3), (5)

Diagramando las relaciones entre las clases: Respuesta.- B) x(Sx  Px)

3. De las siguientes premisas:

A B
P1: x (Ax → Bx)
P2: x (Bx → Cx)
Que se infiere:
x
C A) x (Ax  Cx) B) x (Ax → Cx)
C) x (Ax  Cx) D) x (Ax  Cx)
Como observamos que el término medio es E) x (Ax → Cx)
ATLETAS, la conclusión, está en función de las
otras dos clases (C y B). Observando los diagramas Solución:
C y B podemos leer completa y correctamente: (1) x (Ax → Bx)  x (Ax  Bx)
(2) x(Bx → Cx)
“Algunos cantantes no son ciclistas” (3) x(Ax) S: (1)
La cual es la conclusión válida del silogismo. (4) x(Bx) S: (1)
(5) x(Cx) MPP: (2), (4)
Ejercicios Resueltos: C: x (Ax  Cx) A: (3), (5)
1. De las premisas:
Respuesta.- C) x (Ax  Cx)
x(Ax  Bx)
x(Cx → Bx) 4. Dada la siguiente premisa y conclusión:
¿Qué se infiere? P1: x (Ex → Cx)
P2: x (Cx → Dx)
A) x(Ax → Cx) B) x(Cx → -Ax) P3: ……………….…
C) x(Cx → Ax) D) x(Ax  Cx) C: x (Dx  Fx)
E) x(-Cx → Ax)
Determine la premisa faltante:
Solución:
(1) x(Ax  Bx)  x (Ax → Bx) A) x(Ax → Cx) B) x(Ex  Fx)
(2) x(Cx → Bx)  x(Bx → Cx) C) [x(Fx  Ex)] D) x(Ex  Fx)
C: x(Ax → Cx) SH: (1), (2) E) x(Ex  Cx)

Respuesta.- A) x(Ax → Cx) Solución:

P1: x (Ex → Cx)
2. De las premisas: P2: x (Cx → Dx)
P1: x(Mx → Px) P3: ……………….…
P2: x(Sx  Mx) C: x (Dx  Fx)

2
 LÓGICA Práctica 10

Observamos que tenemos dos premisas C) Ningún pintor es escultor:

Universales y la conclusión es Universal, por lo x (Px → ~Ex)
que la premisa faltante necesariamente es una D) Ningún fotógrafo pinta:
premisa Universal. x (Fx → ~Px)
E) Todos los pintores son fotógrafos:
Inferimos a partir de las premisas conocidas: x (Px → Fx)
(1) x (Ex → Cx)
(2) x (Cx → Dx) Respuesta.-
(3) x (Ex → Dx) SH: (1), (2) B) todos los pintores son escultores.
Por lo que tenemos:
(3) x (Ex → Dx) 6. “Ningún ánade baila el vals, asimismo, ningún
P3: ……………….… oficial declina ante una invitación a bailar el vals,
C: x (Dx  Fx)  x (Fx → Dx) además, todas mis aves de corral son ánades”.
Luego:
De igual modo, observamos que en la conclusión
se mantiene la variable Dx, aparece Fx, y A) Todos los ánades bailan el vals.
desaparece Ex. De ello concluimos, que en la B) Las aves de corral no son oficiales.
premisa faltante una de sus variables es la nueva C) Ningún oficial bailar el vals.
variable de la conclusión (Fx) y la otra es la D) Ninguna ave de corral es ánades.
variable que desaparece en la conclusión (Ex), E) Las aves de corral no son ánades.
quedando:
Solución:
x(Fx → Ex), que equivale a: x(Ex  Fx), ya Formalizamos las premisas dadas:
que para concluir se debió de haber aplicado la P1: x (Ax → ~Bx): Ningún ánade baila el vals.
regla de inferencia del SH. P2: x (Ox → ~~Bx): Ningún oficial declina ante
una invitación a bailar el vals.
Respuesta.- D) x(Ex  Fx) P3: x (Cx → Ax): Todas mis aves de corral son
ánades.
5. Del argumento: “Ningún fotógrafo pinta. Todos
los que no son fotógrafos son escultores”. Se (1) x (Ax → ~Bx)
deduce: (2) x (Ox → Bx) = x (Ox → ~~Bx)
(3) x (Cx → Ax)
A) Ningún fotógrafo es escultor (4) x (Cx → ~Bx) SH: (1), (3)
B) todos los pintores son escultores. (5) x (Bx → ~Cx) Ley de la transp.: (4)
C) Ningún pintor es escultor (6) x (Ox → ~Cx) SH: (2), (5)
D) Ningún fotógrafo pinta (7) x (Cx → ~Ox) Ley de la transp.: (6)
E) Todos los pintores son fotógrafos
Concluimos: x (Cx → ~Ox)
Solución:
Analizamos las alternativas:
Formalizamos las premisas dadas:
A) Todos los ánades bailan el vals:
P1: x (Fx → ~Px): Ningún fotógrafo pinta.
x (Ax → Bx)
P2: x (~Fx → Ex): Todos los que no son B) Las aves de corral no son oficiales:
fotógrafos son escultores.
x (Cx → ~Ox)
B) Ningún oficial bailar el vals:
(1) x (Fx → ~Px) = x (Px → ~Fx)
x (Ox → ~Bx)
(2) x (~Fx → Ex) C) Ninguna ave de corral es ánades:
(3) x (Px → Ex) SH: (1), (2) x (Cx → ~Ax)
Concluimos: x (Px → Ex) D) Las aves de corral no son ánades:
x (Cx → ~Ax)
Analizamos las alternativas:
Respuesta.-
A) Ningún fotógrafo es escultor: B) Las aves de corral no son oficiales.
x (Fx → ~Ex)
B) Todos los pintores son escultores:
x (Px → Ex)

3
 LÓGICA Práctica 10

Ejercicios Propuestos: 5. Determine los términos faltantes del siguiente

argumento, según el orden de las premisas y
1. De las premisas: conclusión es:

P1: x(Qx  Mx) P1: x(Px → ……)

P2: x(Px → Qx) P2: x(…… Nx)
C: .….(Nx  Mx)
Se infiere lógicamente la siguiente conclusión:
Se concluye:
A) x(Px → Mx) B) x(Qx  Mx)
C) x(Px  Qx) D) x(Px  Qx) A) Mx; Nx; x B) Mx; Nx; x
E) x(Qx → Mx) C) Px; Mx; x D) Mx; Px; x
E) Px; Mx; x
2. De las premisas:
6. Señale cuál es el término mayor, medio y menor,
P1: x(Rx  Sx) respectivamente en el siguiente silogismo:
P2: x(Px → Qx)
P3: x(Sx → Qx) “Ningún deportista es aguerrido, a pesar que,
varios peruanos son deportistas; por lo tanto, hay
¿Qué se infiere? peruanos que no son aguerridos.”

A) x(Px → Rx) B) x(Sx  Px) A) Deportista – aguerrido – peruano

C) x(Sx  Px) D) x(Rx  Px) B) Peruano – deportista – aguerrido
E) x(Px  Rx) C) Aguerrido – peruano – deportista
D) Deportista – peruano – aguerrido
3. De las premisas: E) Aguerrido – deportista – peruano

P1: x(Sx  Px) 7. En el siguiente razonamiento:

P2: x(Mx → Sx)
“Los estudiantes son responsables y algunos
P3: x(Px  Nx)
jóvenes son estudiantes. Entonces muchos
jóvenes son responsables”.
Se infiere lógicamente la siguiente conclusión:
Señale su figura y modo:
A) x(Mx  Nx) B) x(Mx  Nx) A) 4ta. Figura; A – I – O
C) x(Mx → Nx) D) x(Mx  Nx) B) 1ra. Figura; A – I – I
E) x(Sx → Px) C) 2da. Figura; A – I – O
D) 3ra. Figura; A – I – I
4. De las premisas: E) 5ta. Figura; A – E – I

P1: x (Rx  Mx) 8. De: “Cualquier lógico es pensador, aunque,

P2: x (Px  Rx) pocos lógicos son filósofos”.
P3: x(Mx  Nx) Se infiere:

Se infiere lógicamente en las siguientes 1) La gran mayoría de pensadores son

conclusiones: filósofos.
2) No todos los filósofos son pensadores.
1. x(Px  Nx) 2. x(Nx  Px) 3) Bastantes filósofos son sin duda pensadores.
3. x(Px → Nx) 4. x(Px  Nx) 4) Casi ningún pensador es filósofo.
5. x(Nx  Px) 5) Muy pocos filósofos dejan de ser
pensadores.
Son inválidas:
Son válidas:
A) 2 y 3 B) 1 y 4 C) 1 y 5
D) 1, 3 y 5 E) 2, 3 y 5 A) 1, 3 y 4 B) 2, 3 y 4 C) 2 y 5
D) 1, 4 y 5 E) 2 y 5

4
 LÓGICA Práctica 10

9. Del siguiente silogismo: Son válidas:

Los enunciados son oraciones. A) 1 y 2 B) 1, 2 y 5 C) 2 y 3

Es erróneo que, todos los enunciados son
proposiciones.
13. De la información:
En consecuencia, podemos afirmar que:
A) Existen oraciones que son proposiciones.
B) Algunos enunciados no son oraciones.
C) Las oraciones son proposiciones.
D) Todas las proposiciones son oraciones.
E) Hay oraciones que no son proposiciones.
10. Si: “Ningún irresponsable es honesto, tal como
es el caso que no todos los analfabetos son
deshonestos.”
Se deduce que:
D) 1, 4 y 5 E) 3 y 4
Ningún bohemio es idealista. Cualquier artista
es idealista. Los músicos son bohemios.
Se infiere:
A) Camila es músico, luego, Camila no es
bohemio.
B) Larissa es artista, entonces Larissa no es
músico.
C) Javier no es bohemio entonces es artista.
D) Angela es idealista, entonces es músico.
E) Marco no es artista, entonces no es músico.

A) Cada uno de los alfabetos son deshonestos. 14. En el gráfico: A B

B) Cualquier alfabeto es honesto.
C) Algunos alfabetos no son responsables.
D) La mayoría de analfabetos son responsables.
E) Los alfabetos son responsables.

11. Si la proposición: “No es verdad que algunos C

lógicos no son filósofos”, es verdadera.
Se infiere: Las premisas son:
1) Todo B es A. 2) Todo A es B.
1) “El 99% de lógicos no son filósofos”, es 3) Ningún C es B. 4) Ningún A es C.
falsa. 5) Todo A es C.
2) “Varios filósofos son lógicos”, es falsa.
3) “Quienquiera que sea lógico no deja de ser Son inciertas:
filósofo”, es verdadera. A) 1, 2 y 3 B) 2, 3 y 5 C) 1, 3 y 5
4) “Cualquier lógico es filósofo”, es falsa. D) 1, 3 y 4 E) 2, 4 y 5
5) “Casi todos los lógicos no son filósofos”, es
verdadera.
15. En el gráfico:
Son inválidas: A B

A) 1 y 3 B) 2, 4 y 5 C) 2, 3 y 5
D) 1, 4 y 5 E) 2, 3 y 4

12. Si la proposición: “Las sirenas no son x

bulliciosas”, es falsa. C
Se infiere: La conclusión es:
A) Varios C no son B.
1) “Toda sirena es bulliciosa”, es verdadera. B) Todo A es B.
2) “Ninguna sirena es bulliciosa”, es falsa. C) Al menos un A no es C.
3) “No todas las sirenas no son bulliciosas”, es D) Casi todos los C no son A.
verdadera. E) No todos los B son C.
4) “Algunas sirenas no son bulliciosas”, es
falsa.
5) “Existen sirenas que no dejan de ser
bulliciosas”, es falsa.