sistemas de numeracio y algebra de boole ap1 | Page 25

22
Sistemas Digitales
Entonces el ejemplo anterior es silogismo AAA-2. Como muestran los diagramas central y
derecho de la Figura A1.11, este silogismo es inválido, ya que todos los S no son P. La premisa:
Todos los S son P, se muestra en el diagrama a la izquierda de la Figura A1.11.
Silogismo AAA-1
P
Todos los M son P.
Todos los S son M.
Todos los S son P.
M
S
Figura A1.13. Silogismo AAA-1
Silogismo EAE-1
Ningún M es P.
Todos los S son M
Ningún S es P.
P
M
S
Figura A1.14. Silogismo EAE-1
Silogismo AII-3
P
Todos los M son P.
Algún M es S.
Algún S es P.
M
S
Figura A1.15. Silogismo AII-3
Silogismo AII-2
Todos los P son M.
Algún S es M.
Algún S es P.
S
M
M
P
P
S
Figura A1.16. Silogismo AII-2
La premisa menor, puede dibujarse de dos formas. La Figura A1.16 izquierda ilustra que el
silogismo AII-2 es inválido.
Para la determinación de la validez de los silogismos se emplean diagramas de Venn para
mostrar la distribución de los miembros en las categorías. Son levemente diferentes de los
usados en teoría de conjuntos, que se han empleado en las ilustraciones anteriores. Si no hay
miembros se subraya el área, si al menos hay un miembro se coloca una x en el área. La Figura
A1.17 muestra los diagramas para las cuatro proposiciones categóricas.
Profesor Leopoldo Silva Bijit
03-04-2010