Get Math Help

GET TUTORING NEAR ME!

By submitting the following form, you agree to Club Z!'s Terms of Use and Privacy Policy

    Modus Ponens

    Definition

    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.

    Find the right fit or it’s free.

    We guarantee you’ll find the right tutor, or we’ll cover the first hour of your lesson.