Sil.logística aristotèlica
Figura 1: Barbara: A= Todo mamífero es un vertebrado. M-P A=Todo caballo es un mamífero. S-M A=todo caballo es un vertebrado. S-P Celarent: E= Ningún gato es Poodle. M-P A=Todos los siameses son gatos. S-M E=Ningún siamés es poodle. S-P Darii: A= Todos los perros son fieles. M-P I=Snoopy es perro. S- M I=Snoopy es fiel S-P Ferio: E= Ningún gato es poodle. M-P I=Misifus es gato. S- M O=Misifus no es poodle. S-P Figura 2: Cesare: E= Ningún acto del juez es un acto de parte procesal. P-M A= Todo acto del demandante es un acto de parte procesal. S-M E=Ningún acto del demandante es un acto del juez. S-P Camestres: A= T