Modus Ponens

The rule

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

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

Explore with Wolfram|Alpha

Cite this as:

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

Subject classifications