conditional introduction
From a subproof that assumes A and reaches B, write A → B.
Conditional introduction (→I), also called conditional proof, lets you write A → B after a subproof that begins with the assumption A and ends with B. The subproof closes and A is discharged.
Examples
Assume P, derive R, close the subproof, write P → R (→I).
See also