Prima figura Premessa maggiore + Premessa minore = Conclusione indico: (M -- A) la premessa maggiore (B -- M) la premessa minore (B -- A) la conclusione considerando i predicati avremo la prima figura quando il termine medio compare al primo ed al quarto posto cioe' (M -- A) + (B -- M) = (B -- A) Come esempio abbiamo il sillogismo classico: Tutti gli uomini sono mortali Socrate e' un uomo Socrate e' mortale Che nei particolari diventa (x e' un uomo M) -- (x e' mortaleA) + (x e' Socrate B) -- (x e' un uomo M) = (x e' Socrate B) -- (x e' mortale A) E' possibile dimostrarne la validita' o meno utilizzando la teoria degli insiemi ed i diagrammi di Eulero Venn Dimostrazione