| ampersand-elim | Given a sentence that is a conjunction (at line m), conclude either conjunct. |
| Annotation: m &E | |
| Assumption set: The same as at line m. | |
| Also known as: Simplification (S). | |
| Examples. | |
| (a) | |
1 (1) P & Q A | |
1 (2) Q 1 &E | |
1 (3) P 1 &E | |
| (b) | |
1 (1) P & (Q->R) A | |
1 (2) Q->R 1 &E |