Introduction to Logic

Implication Introduction

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 (φ ⇒ ψ).

Implication Introduction
φ |- ψ
φ ⇒ ψ

TextSection 4.4