Răspuns:
Toate cosurile sunt in pivnita.
Toate ulcelele cu vin sunt in cos.
-----------------------------------------
Toate ulcelele cu vin sunt in pivnita.
Explicație:
Subiect logic=>termen minor=ulcelele cu vin
Predicat logic=>termen major=in pivnita
Termen mediu= cos
Silogismul este valid intotdeuna daca se construieste in forma de inferenta 1.
Silogismul in limbaj formal in exemplul de mai sus este:
MaP
SaM
---------
SaP
Apoi construiesti diagramele Venn pentru a arata validitatea lui.