zero-order logic, truth-functional logic, propositional calculus
All synonyms for propositional logic →