Ejercicios de Silogismos: Categórico, Disyuntivo e Hipotético
A. Silogismo Categórico
barco comercial. ∴ Ningún buque de guerra es un barco comercial.
1. Todos los submarinos atómicos son buques de guerra. Ningún submarino atómico es un
Forma: Todos S son M; Ningún S es P; ∴ Ningún M es P. — Figura 1 — Modo EAE (Celarent).
✅ Válido.
artificiales no son invenciones norteamericanas. ∴ Algunos importantes logros científicos no
2. Todos los satélites artificiales son importantes logros científicos. Algunos satélites
Forma: Todos S son M; Algunos S no son P; ∴ Algunos M no son P. — Figura 1 — Modo AOO.
son invenciones norteamericanas.
❌ No válido.
son conservadores. ∴ Algunos conservadores no son partidarios de aranceles elevados.
3. Todos los partidarios de aranceles elevados son republicanos. Algunos republicanos no
Forma: Todos P son M; Algunos M no son S; ∴ Algunos S no son P. — Figura 3 — Modo AOO
(Bokardo). ✅ Válido.
caro y delicado es un juguete adecuado para niños. ∴ Ningún equipo de alta fidelidad es un
4. Todos los equipos de alta fidelidad son mecanismos caros y delicados. Ningún mecanismo
Forma: Todos S son M; Ningún M es P; ∴ Ningún S es P. — Figura 1 — Modo EAE (Celarent).
juguete adecuado para niños.
✅ Válido.
orgánicos. ∴ Todas las encinas son proteínas.
5. Todas las proteínas son compuestos orgánicos. Todas las encinas son compuestos
Forma: Todos M son P; Todos S son P; ∴ Todos S son M. — Figura 2 — Modo AAA. ❌ No
válido.
B. Silogismos Disyuntivos
1. O llego temprano o llego tarde. No llego temprano. ∴ Llego tarde. ✅ Válido (modus tollendo
ponens).
2. Mi hermana es zurda o diestra. No es diestra. ∴ Es zurda. ✅ Válido.
3. O hay luz o hay oscuridad. No hay luz. ∴ Hay oscuridad. ✅ Válido.
4. El número es par o impar. No es par. ∴ Es impar. ✅ Válido.
5. El coche está en el garaje o en la calle. No está en la calle. ∴ Está en el garaje. ✅ Válido.
C. Silogismos Hipotéticos
Forma general Modus Ponens: Si p → q; p; ∴ q. ✅ Válido.
Forma general Modus Tollens: Si p → q; ¬q; ∴ ¬p. ✅ Válido.
1. Si llueve, entonces la calle estará mojada. Llueve. ∴ La calle estará mojada. ✅ Modus
Ponens.
2. Si estudias, aprobarás el examen. Estudiaste. ∴ Aprobarás el examen. ✅ Modus Ponens.
3. Si comes mucho, te sentirás lleno. Comiste mucho. ∴ Te sentirás lleno. ✅ Modus Ponens.
4. Si trabajas duro, tendrás éxito. Trabajaste duro. ∴ Tendrás éxito. ✅ Modus Ponens.
5. Si ahorras dinero, podrás comprar un coche nuevo. Ahorraste dinero. ∴ Podrás
comprarlo. ✅ Modus Ponens.
6. Si llueve, entonces la calle estará mojada. No está mojada. ∴ No llueve. ✅ Modus Tollens.
7. Si estudias, aprobarás el examen. No aprobaste. ∴ No estudiaste. ✅ Modus Tollens.
8. Si comes mucho, te sentirás lleno. No te sientes lleno. ∴ No comiste mucho. ✅ Modus
Tollens.
9. Si trabajas duro, tendrás éxito. No tienes éxito. ∴ No trabajaste duro. ✅ Modus Tollens.
10. Si ahorras dinero, podrás comprar un coche nuevo. No puedes comprarlo. ∴ No
ahorraste. ✅ Modus Tollens.
D. Ejemplos Propios
Todos los mamíferos son vertebrados. Todos los perros son mamíferos. ∴ Todos los perros
Silogismo Categórico:
son vertebrados. ✅ (Barbara).
O apruebo lógica o repruebo la materia. No repruebo. ∴ Apruebo lógica. ✅ Válido.
Silogismo Disyuntivo:
Si estudio filosofía, entiendo los silogismos. Estudio filosofía. ∴ Entiendo los silogismos. ✅
Silogismo Hipotético – Modus Ponens:
Válido.
Si aplico mal la lógica, mis conclusiones son falsas. Mis conclusiones no son falsas. ∴ No
Silogismo Hipotético – Modus Tollens:
apliqué mal la lógica. ✅ Válido.
