"propositional logic"^^ . . "105794596"@en-us . . "106165147"^^ . "0"^^ . . . . "propositional logic"@en-us . . "104682042"@en-us . "0"^^ . . "propositional calculus"@en-us . . . . . "a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them"@en-us . "06165147-n"^^ . .