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