Modus ponens — правило логического вывода, согласно которому если условное утверждение истинно и его antecedent истинно, то следует его consequent. В символической форме: если P implies Q и P истинно, то Q истинно.
In propositional logic, modus ponens is a rule of inference. It can be summarized as "P implies Q and P is asserted to be true, therefore Q must be true."