Word.ws English Dictionary

propositional logic

propositional logic noun: a formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.

Noun

propositional logic (countable and uncountable, plural propositional logics)

  1. A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.

Synonyms of propositional logic

Forms of propositional logic

pluralpropositional logics

Questions about propositional logic

What does propositional logic mean?
Propositional logic means a formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
What part of speech is propositional logic?
Propositional logic is a noun.
What is the plural of propositional logic?
The plural of propositional logic is propositional logics.

Words near propositional logic in the dictionary

  1. propositional calculus
  2. propositional constant
  3. propositional constants
  4. propositional function
  5. propositional functions
  6. propositional logic
  7. propositional logics
  8. propositional variable
  9. propositional variables
  10. propositionalism
  11. propositionalist

Source and license

Adapted from Wiktionary: propositional logic (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “propositional logic.” Word.ws, https://word.ws/propositional_logic. Based on Wiktionary, CC BY-SA 4.0.