TOPICS
Search

Modus Ponens


The rule

 (F,F=>G)/G,

where => means "implies," which is the sole rule of inference in propositional calculus. This rule states that if each of F and F=>G is either an axiom or a theorem formally deduced from axioms by application of inference rules, then G is also a formal theorem.


See also

Modus Tollens, Propositional Calculus

This entry contributed by Alex Sakharov (author's link)

Explore with Wolfram|Alpha

Cite this as:

Sakharov, Alex. "Modus Ponens." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/ModusPonens.html

Subject classifications