Repertorio Lógico: Figura 3 de 4

cabe_mates
NombreAbstracciónConcreciónDiagrama
DARAPTI Todos M es P (A)
Todo M es S (A)
∴ Algún S es P
Todos los perros son animales.
Todos los perros son cánidoses.
Luego, algún cánido es animal.
DARAPTI
FELAPTON Ningún M es P (E)
Todo M es S (A)
∴ Algún S no es P
Ninguna serpiente es comestible.
Toda serpientes es un animal.
Algún animal no es comestible.
FELAPTON
DISAMIS Algún M es P (I)
Todo M es S (A)
∴ Algún S es P
Algún sabio es rico.
Todo sabio es hombre.
Luego, algún hombre es rico.
DISAMIS
DATISI Todo M es P (A)
Algún M es S (I)
∴ Algún S es P
Todo árbol es planta.
Algún árbol es pino.
Luego, algún pino es planta.
DATISI
BOCARDO Algún M no es P (O)
Todo M es S (A)
∴ Algún S no es P
Algún animal no es doméstico.
Todo animal es sensible.
Luego, algo sensible no es doméstico.
BOCARDO
FERISON Ningún M es P (E)
Algún M es S (I)
∴ Algún S no es P
Ningún gas es sólido.
Algún gas es combustible.
Luego, algún combustible no es sólido.
FERISON