propositional calculus Synonyms

propositional logic first-order deduction first-order formalism first-order language first-order predicate calculus first-order reasoning dialectic first-order theory fopl logical notation logical operator logical sign elementary logic connective symbol logic symbol dialectics logic Boolean algebra formal logic predicate calculus classical logic first-order logic FOL logical calculus logical connective logical expression