Mathematics
Abstract algebra
Logical connectives
Semantics
Truth table
Negation
If and only if
Vacuous truth
Tautology
Logic
Propositional calculus
Boolean algebra