Elaborar un silogismo de acuerdo con la forma solicitada: IAI, AAA, AEE y AAI.
Recuerda: la primera letra es la premisa mayor (P–M), la segunda la premisa menor (S–M) y la tercera la conclusión (S–P). A = universal afirmativa (todo), E = universal negativa (ningún), I = particular afirmativa (algunos), O = particular negativa (algunos no).
Silogismo IAI (figura 1: M–P / S–M / S–P)
- Premisa mayor (I): ext{Algunos P son M}.
- Premisa menor (A): ext{Todo S es M}.
- Conclusión (I): ext{Algunos S son P}.
- Ejemplo: Algunos deportistas (P) son estudiantes (M); todo estudiante (S) de esta escuela es joven (M); luego, algunos jóvenes (S) son deportistas (P).
- Verificación: distribución correcta de M en la premisa menor (A), la conclusión I no distribuye S ni P indebidamente.
Algunos P son M; todo S es M; luego, algunos S son P.
Silogismo AAA (figura 1)
- Premisa mayor (A): ext{Todo M es P}.
- Premisa menor (A): ext{Todo S es M}.
- Conclusión (A): ext{Todo S es P}.
- Ejemplo: Todo mamífero (M) es animal (P); todo perro (S) es mamífero (M); luego, todo perro (S) es animal (P).
- Verificación: M queda distribuida solo en la premisa menor; S no está distribuida en las premisas y sí en la conclusión A, pero sin violar reglas (S es sujeto de la menor A); silogismo válido (Barbara).
Todo M es P; todo S es M; luego, todo S es P.
Silogismo AEE (figura 1)
- Premisa mayor (A): ext{Todo M es P}.
- Premisa menor (E): ext{Ningún S es M}.
- Conclusión (E): ext{Ningún S es P}.
- Ejemplo: Todo reptil (M) es de sangre fría (P); ningún ave (S) es reptil (M); luego, ninguna ave (S) es de sangre fría... ajustando: ningún ave (S) es reptil, luego ninguna ave es reptil. Corrección de contenido: Todo reptil es vertebrado; ningún ave es reptil; luego, ninguna ave es reptil.
- Verificación: M distribuida en ambas premisas (A la distribuye, E la distribuye) — es válida solo si M es el término medio distribuido en la premisa mayor A... en realidad en AEE figura 1 (Camestres) es válida en figura 2; ajustando a figura correcta: Premisa mayor: Todo P es M; Premisa menor: Ningún S es M; Conclusión: Ningún S es P (válida, figura 2).
Todo P es M; ningún S es M; luego, ningún S es P.
Silogismo AAI (figura 3 o 4, subalteración)
- Premisa mayor (A): ext{Todo M es P}.
- Premisa menor (A): ext{Todo M es S}.
- Conclusión (I): ext{Algunos S son P}.
- Ejemplo: Todo profesor (M) es educador (P); todo profesor (M) es adulto (S); luego, algunos adultos (S) son educadores (P).
- Verificación: M distribuida en ambas premisas; conclusión I se obtiene por subalternación de "Todo S... " — válida en figura 3 (Darapti) con término medio distribuido.
Todo M es P; todo M es S; luego, algunos S son P.








