Definition:Conditional/Truth Function

Definition
The conditional connective defines the truth function $f^\to$ as follows: