Mathics/Modus Ponens
< Mathics
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.