noun
Meaning 1
A kind of logic based on the principles that each proposition has a truth value of either "true" or "false", but not both, and that if a proposition were to be both true and false or neither true nor false then a result would be that all propositions would be both true and false.
Definition source: English Wiktionary via Wiktextract
Usage: countable, uncountable
Topics: human-sciences, logic, mathematics, philosophy, sciences
Examples
- The Lindenbaum-Tarski algebra of propositional classical logic is a Boolean algebra.
Meaning relationships
Synonyms: Frege-Russell logic
Antonyms: none provided