English

Noun

classical logic ‎(plural classical logics)

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

Antonyms

• non-classical logic
• intuitionistic logic
• ternary logic

Hyponyms

• Boolean logic