Meanings
plural propositional logics
- countableuncountablehuman sciencesA formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
Synonyms: propositional calculus, zero-order logic
Synonyms & antonyms
nounA formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
More synonyms by meaning
nouna branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Synonym sets from Open English WordNet, CC BY 4.0.
Translations
Czech výroková logika
- výroková logikaformal deductive system
Finnish propositiologiikka, lauselogiikka
- propositiologiikkaformal deductive system
- lauselogiikkaformal deductive system
French logique propositionnelle
- logique propositionnelleformal deductive system
German Aussagenlogik, Aussagenkalkül
- Aussagenlogikformal deductive system
- Aussagenkalkülformal deductive system
Greek προτασιακός λογισμός
- προτασιακός λογισμός (protasiakós logismós)formal deductive system
Polish rachunek zdań
- rachunek zdańformal deductive system
Romanian logică propozițională
- logică propoziționalăformal deductive system
Cite this entry
propositional logic. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/propositional%20logic
“propositional logic.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/propositional%20logic. Accessed November 3, 2026.
WatkinsX Dictionary, s.v. “propositional logic,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/propositional%20logic.
Source: propositional logic on Wiktionary, CC BY-SA 4.0.