| wedge-intro | Given a sentence (at line m), conclude any disjunction having it as a disjunct. |
| Annotation: m vI | |
| Assumption set: The same as at line m. | |
| Also known as: Addition (ADD). | |
| Examples. | |
| (a) | |
1 (1) P A | |
1 (2) P v Q 1 vI | |
1 (3) (R ↔ ~T) v P 1 vI | |
| (b) | |
1 (1) Q→R A | |
1 (2) (Q→R) v (P & ~S) 1 vI |