| arrow-elim | Given a conditional sentence (at line m) and another sentence that is its antecedent (at line n), conclude the consequent of the conditional. | |||
| Annotation: m, n →E | ||||
| Assumption set: The union of the assumption sets at lines m and n. | ||||
| Comment: The order of m and n in the proof is irrelevant. | ||||
| Also known as: Modus Ponendo Ponens (MPP), Modus Ponens (MP), Detachment, Affirming the Antecedent. | ||||
| Example. | ||||
1 |
(1) |
P→Q |
A |
|
2 |
(2) |
P |
A | |
1,2 | ||||