Repertorio Lógico: Figura 1 de 4
cabe_mates
| Nombre | Abstracción | Concreción | Diagrama |
|---|---|---|---|
| BARBARA | Todo M es P (A) Todo S es M (A) ∴ Todo S es P |
Todo hombre es mortal. Todo griego es hombre. Luego, todo griego es mortal. |
 |
| CELARENT | Ningún M es P (E) Todo S es M (A) ∴ Ningún S es P |
Ningún reptil tiene pelo. Toda serpiente es reptil. Luego, ninguna serpiente tiene pelo. |
 |
| DARII | Todo M es P (A) Algún S es M (I) ∴ Algún S es P |
Todo vicio es miserable. Algún placer es vicio. Luego, algún placer es miserable. |
 |
| FERIO | Ningún M es P (E) Algún S es M (I) ∴ Algún S no es P |
Ningún mentiroso es digno de crédito. Algún político es mentiroso. Luego, algún político no es digno de crédito. |
 |