Definition:Conjunction/Truth Function

From ProofWiki
Jump to navigation Jump to search

Definition

The conjunction connective defines the truth function $f^\land$ as follows:

\(\displaystyle \map {f^\land} {F, F}\) \(=\) \(\displaystyle F\)
\(\displaystyle \map {f^\land} {F, T}\) \(=\) \(\displaystyle F\)
\(\displaystyle \map {f^\land} {T, F}\) \(=\) \(\displaystyle F\)
\(\displaystyle \map {f^\land} {T, T}\) \(=\) \(\displaystyle T\)


Sources