Definition:Conditional/Truth Function

From ProofWiki
Jump to navigation Jump to search

Definition

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

\(\ds \map {f^\to} {\F, \F}\) \(=\) \(\ds \T\)
\(\ds \map {f^\to} {\F, \T}\) \(=\) \(\ds \T\)
\(\ds \map {f^\to} {\T, \F}\) \(=\) \(\ds \F\)
\(\ds \map {f^\to} {\T, \T}\) \(=\) \(\ds \T\)


Sources