classical logic

Noun

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.005

Noun

**classical logic**

- 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.

- non-classical logic
- intuitionistic logic
- ternary logic

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.005