sistemas de numeracio y algebra de boole ap1 | Page 27

24
Sistemas Digitales
Pero sólo se tienen quince formas válidas. Existen palabras latinas, en las cuales el orden de
aparición de las vocales indica el tipo de premisa categórica de las premisas mayor, menor y
conclusión. Los siguientes son silogismos incondicionalmente válidos.
BARBARA, AAA-1
Todos los M son P.
Todos los S son M.
Por lo tanto: Todos los S son P.
CELARENT, EAE-1
Ningún M es P.
Todos los S son M.
Ningún S es P.
DARII, AII-1
Todos los M son P.
Algún S es M.
Algún S es P.
FERIO, EIO-1
Ningún M es P.
Algún S es M.
Algún S no es P.
La primera letra de los modos siguientes indica a cual modo con cifra 1 puede ser reducido.
Si luego de una letra de modo aparece s, la reducción es simple conversión; si es p la
conversión es parcial; si es m entre las dos primeras vocales se aplica transposición. La letra c
después de una de las dos primeras vocales indica que la premisa debe ser reemplazada por su
negación para efectuar la conversión.
CESARE, EAE-2
Ningún P es M.
Todos los S son M.
Ningún S es P. CAMESTRES, AEE-2
Todos los P son M.
Ningún S es M.
Ningún S es P.
DISAMIS, IAI-3
Algún M es P.
Todos los M son S.
Algún S es P. DATISI, AII-3
Todos los M son P.
Algún M es S.
Algún S es P.
CAMENES, AEE-4
Todos los P son M.
Ningún M es S.
Ningún S es P.
FESTINO, EIO-2
Ningún P ese M.
Algún S es M.
Algún S no es P.
BOCARDO, OAO-3
Algún M no es P.
Todos los M son S.
Algún S no es P.
DIMARIS, IAI-4
Algún P es M.
Todos los M son S.
Algún S es P.
BAROCO, AOO-2
Todos los P son M.
Algún S no es M.
Algún S no es P.
FERISON, EIO-3
Ningún M es P.
Algún M es S.
Algún S no es P.
FRESISON, EIO-4
Ningún P es M.
Algún M es S.
Algún S no es P.
Los silogismos AAI-1, EAO-1, AEO-2, EAO-4 son condicionalmente válidos si S existe.
Si M existe: son condicionalmente válidos: EAO-3 y 4. Si P existe es válido: AII-4.
Silogismo EAO-4
Ningún P es M.
Todos los M son S.
Algún S es no P.
Figura A1.20. Silogismo
P
S
M
Condicional EAO-4
Este silogismo es válido si se conoce la premisa adicional: M existe.
Profesor Leopoldo Silva Bijit
03-04-2010