Definition:Conditional/Truth Function

Definition

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

 $\ds f^\to \left({F, F}\right)$ $=$ $\ds T$ $\ds f^\to \left({F, T}\right)$ $=$ $\ds T$ $\ds f^\to \left({T, F}\right)$ $=$ $\ds F$ $\ds f^\to \left({T, T}\right)$ $=$ $\ds T$