propositional logic

---

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
• zeroth-order logic

Translations

• German: Aussagenlogik

---

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.002