CLASSICALLOGIC
Classical logic
Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well. They are characterised by a number of properties:The above text is a snippet from Wikipedia: Classical logic
and as such is available under the Creative Commons Attribution/Share-Alike License.
classical logic
Noun
- A kind of logic based on the principle that each assertion has a truth value of either "true" or "false", but not both.
- The Lindenbaum-Tarski algebra of propositional classical logic is a Boolean algebra.
The above text is a snippet from Wiktionary: classical logic
and as such is available under the Creative Commons Attribution/Share-Alike License.