Definition:Logical Not/Truth Function

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