propositional logic

English

Noun

propositional logic (plural propositional logics)

  1. (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

This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.