\begin{definition}[Definition:Conditional/Truth Function]
The conditional connective defines the truth function $f^\to$ as follows:
{{begin-eqn}}
{{eqn | l = f^\to \left({F, F}\right)
      | r = T
}}
{{eqn | l = f^\to \left({F, T}\right)
      | r = T
}}
{{eqn | l = f^\to \left({T, F}\right)
      | r = F
}}
{{eqn | l = f^\to \left({T, T}\right)
      | r = T
}}
{{end-eqn}}
\end{definition}