[nom] Implication.
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 (« or A ») pour en déduire le conséquent (« donc B »). Le terme modus ponens est une abréviat...