Mathematical logic
Traditional logic
Converse
Proposition
Inference
Negation
Existential quantification
Vacuous truth
Logic
Propositional calculus
Boolean algebra