Logique des termes
Prémisse majeure
Tout M est P
Tout P est M
Aucun M n'est P
Aucun P n'est M
Quelque M est P
Quelque P est M
Quelque M n'est pas P
Quelque P n'est pas M
Prémisse mineure
Tout S est M
Tout M est S
Aucun S n'est M
Aucun M n'est S
Quelque S est M
Quelque M est S
Quelque S n'est pas M
Quelque M n'est pas S
Conclusion
Tout S est P
Aucun S n'est P
Quelque S est P
Quelque S n'est pas P