Definition:Logical Not/Truth Function
Jump to navigation
Jump to search
Definition
The logical not connective defines the truth function $f^\neg$ as follows:
| \(\ds \map {f^\neg} \F\) | \(=\) | \(\ds \T\) | ||||||||||||
| \(\ds \map {f^\neg} \T\) | \(=\) | \(\ds \F\) |
Sources
- 1910: Alfred North Whitehead and Bertrand Russell: Principia Mathematica: Volume $\text { 1 }$ ... (previous) ... (next): Chapter $\text{I}$: Preliminary Explanations of Ideas and Notations
- 1988: Alan G. Hamilton: Logic for Mathematicians (2nd ed.) ... (previous) ... (next): $\S 1$: Informal statement calculus: $\S 1.2$: Truth functions and truth tables: Negation