Definition of propositional logic in English English dictionary
A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives
(Felsefe) A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them, propositional calculus
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them