propositional logic

Thesaurus

Noun

1.

propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them propositional calculus formal logic, mathematical logic, symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.