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