Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Modus ponens

Revision as of 13:36, 24 March 2022 by Pezzeepenguinstalker (talk | contribs) (Created page with "Modus ponens is essentially a method in discrete mathematics that is used in propositional logic to prove that given the truth value of one statement in an implication, the fo...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Modus ponens is essentially a method in discrete mathematics that is used in propositional logic to prove that given the truth value of one statement in an implication, the following order must be true due to the law of implication. This can be shown given a proposition $p\to q$. If we know the truth value of $p$ to be True, we can assume that $q$ is true as well.

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Modus_ponens&oldid=172884"