Conditional introduction (Conditional proof)

In symbolic logic, a valid inference in a system of truth-functional rules. Conditional introduction is the method of proof whereby a conditional claim is proved by deriving a statement Q from the assumption of P in a subproof.