Mathics/Modus Ponens

From Wikiversity
Jump to navigation Jump to search

Modus Ponens is a rule of inference in logic. More explicitly, it is the following logical syllogism.

p implies q
p
Therefore, q

Modus Ponens is usually proved by constructing a truth table. This is easy to do when p and q can take on only two values (true and false). To prove Modus Ponens, one constructs a truth table.