Definition:Logical Not/Truth Function

From ProofWiki
Jump to navigation Jump to search

Definition

The logical not connective defines the truth function $f^\neg$ as follows:

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


Sources