\begin{definition}[Definition:Disjunction/Truth Function]
The disjunction connective defines the truth function $f^\lor$ as follows:
{{begin-eqn}}
{{eqn | l = \map {f^\lor} {\F, \F}
      | r = \F
}}
{{eqn | l = \map {f^\lor} {\F, \T}
      | r = \T
}}
{{eqn | l = \map {f^\lor} {\T, \F}
      | r = \T
}}
{{eqn | l = \map {f^\lor} {\T, \T}
      | r = \T
}}
{{end-eqn}}
\end{definition}