Modus ponens

Le modus ponens, ou détachement, est une figure du raisonnement logique concernant l'implication. Elle consiste à affirmer une implication (« si A alors B ») et à poser ensuite l'antécédent (« et, A ») pour en déduire le conséquent (« donc B »). Le terme modus ponens (ou plus exactement modus ponendo ponens) vient de ce que l'on pose A (ponens est le participe présent de verbe latin ponere, poser) afin d'en tirer la conclusion.