Repertorio Lógico: Figura 4 de 4
cabe_mates
| Nombre | Abstracción | Concreción | Diagrama |
|---|---|---|---|
| BRAMANTIP | Todo S es M (A) Todo M es P (A) ∴ Algún S es P |
Todos los hombres son mortales. Todos los mortales son seres vivos. Algunos seres vivos son hombres. |
 |
| CAMENES | Todo P es M (A) Ningún M es S (E) ∴ Ningún S es P |
Todo mal es evitable. Ningún evitable es destino. Luego, el destino no es un mal. |
 |
| DIMATIS | Algún P es M (I) Todo M es S (A) ∴ Algún S es P |
Alguna flor es roja. Todo lo rojo es visible. Luego, algo visible es flor. |
 |
| FESAPO | Ningún P es M (E) Todo M es S (A) ∴ Algún S no es P |
Ningún aguacate es ave. Toda ave es vertabrada. Algún vertebrado no es aguacate. |
 |
| FRESISON | Ningún P es M (E) Algún M es S (I) ∴ Algún S no es P |
Ningún pez tiene pulmones. Algún ser con pulmones nada. Luego, algo que nada no es pez. |
 |