classical logic
A kind of logic based on the principles that each proposition has a truth value of…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.
Meaning
1 senses(countable, uncountable)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.
The Lindenbaum-Tarski algebra of propositional classical logic is a Boolean algebra.
klassische Logik
Translations
3 languagesBy meaning 1
Forms
plural: classical logics| Singular | classical logic |
|---|---|
| Plural | classical logics |
regular
Synonyms
1 synonymsAntonyms
3 antonymsLessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable