modus ponens in a sentence

Examples

1. These inference engines support forward reasoning or backward reasoning to infer conclusions via modus ponens.
2. It isn't modus ponens.
3. From these, we can obtain B by an application of the standard deduction rule modus ponens.
4. :Well, I changed my approach and did a second transitivity instead of a modus ponens.
5. Modus ponens is closely related to another valid form of argument, " modus tollens ".
6. Hypothetical syllogism is closely related to modus ponens and sometimes thought of as " double modus ponens ."
7. Hypothetical syllogism is closely related to modus ponens and sometimes thought of as " double modus ponens ."
8. X and " modus ponens " implies X and subsequently Y ( as in above proof ).
9. This rule is equivalent to the rule of inference known as modus ponens, except it is going backwards.
10. Applying modus ponens, we get that " A " is a theorem of the extended system.