propositional calculus Synonyms

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