propositional logic
Jump to navigation
Jump to search
English
[edit]Noun
[edit]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
Translations
[edit]formal deductive system
|