Classical propositional logic
Redirect to:
Propositional calculus