Veracity
Boolean algebra
Semantics
Logical connective
Truth
Sentence
If and only if
Interpretation
Propositional formula
Logic
Mathematical logic
Propositional calculus