connective symbol Synonyms

Boolean algebra formal logic propositional calculus