Negation
Semantics
Logic
Linguistics
Mathematical logic
Boolean algebra
Propositional calculus
Grammar