Les 'syllogismes' sont aussi d'une utilisation courante:
Voici le schéma de base:
P1 P
P2 P ⇒ Q
P3 Q ⇒ R
--------
∴  C R
Il s'agit d'une itération du modus ponens.