Difference between revisions of "Modus ponens"
(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...") |
(No difference)
|
Latest revision as of 14:36, 24 March 2022
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 
. If we know the truth value of 
to be True, we can assume that 
is true as well.
