Modos Silogismo y Diagramas de Venn
Lógica de Clases
TODOS LOS HOMBRES SON MORTALES NINGÚN FILÓSOFO ES PERVERSO TODOS LOS GRIEGOS SON HOMBRES ALGUNOS PROFESORES SON FILÓSOFOS TODOS LOS GRIEGOS SON MORTALES ALGUNOS PROFESORES NO SON PERVERSOS
NINGÚN GRIEGO ES COBARDE NINGÚN ARABE ES JUDIO ALGUNOS ATENIENSES SON GRIEGOS TODOS LOS PALESTINOS SON ARABES ALGUNOS ATENIENSES NO SON COBARDES NINGÚN PALESTINO ES JUDIO
ALGUNOS HOMBRES SON MIEDOSOS TODOS LOS MAMIFEROS SON VALIENTES TODOS LOS HOMBRES SON BIPEDOS NINGUN OFICINISTA ES MARINERO ALGUNOS BÍPEDOS SON MIEDOSOS NINGÚN OFICINISTA ES VALIENTE
Todo M es P TODO M es P Algún S es M TODO M es S Algún S es P ALGÚN S es P