Propositional calculus
Mathematical logic
Logical connectives
Semantics
Grammar
Negation
Logical disjunction
Boolean algebra
Logic
Abstract algebra