Logic
Logical connectives
Semantics
Philosophical logic
Model theory
Formal languages
Propositional calculus
Interpretation
First-order logic
If and only if
False
Modal logic