propositional logic · sentential calculus
propositional logic, sentential calculus
Propositional logic.