conditional elimination
From A → B and A, write B: modus ponens as a proof rule.
Conditional elimination (→E) lets you write B when A → B and A are both on available lines. It is modus ponens in the proof system.
Examples
From 1 P → Q and 2 P, write 3 Q (→E 1, 2).
See also