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 ...