# Definition:Logical Not/Truth Function

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$