Syllogisme hypothétique

Le syllogisme hypothétique (ou conditionnel) est un raisonnement qui part de propositions conditionnelles (« si... alors... ») plutôt que catégoriques. Boèce le transmit au Moyen Âge, le traitant dans son De syllogismo hypothetico. Ses formes valides sont le modus ponens (affirmer l'antécédent) et le modus tollens (nier le conséquent).