logic symbol Synonyms

Boolean algebra formal logic mathematical logic propositional calculus