propositional logic

English

edit
 
English Wikipedia has an article on:
Wikipedia

Noun

edit

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

edit