siloc1.gif (803 bytes)
Todo bogavante es irracional

siloc2.gif (802 bytes)
Todo dinosaurio es irracional

siloc.gif (818 bytes)
Ningún dinosaurio es bogavante
(Inválido)

silocCon.gif (819 bytes)
Ningún dinosaurio es bogavante
(En este caso la región de
los A que son B, es decir,
de los S que son P
está -no como en la conclusión anterior-
totalmente vacía)