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.