Mathics/Modus Ponens

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.