propositional logic
English
editNoun
editpropositional 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
Translations
editformal deductive system
|