Implication Introduction is a rule of inference that allows us to deduce an implication from a subproof. If, by assuming φ, we can derive ψ, then we can derive (φ ⇒ ψ).