Jump to navigation Jump to search
propositional logic (plural propositional logics)
- (logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
- Synonyms: propositional calculus, zero-order logic
- Hypernyms: logic; see also Thesaurus:logic
formal deductive system