classical logic

Definition from Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

English Wikipedia has an article on:
Wikipedia

Noun[edit]

classical logic (countable and uncountable, plural classical logics)

  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.
    The Lindenbaum-Tarski algebra of propositional classical logic is a Boolean algebra.

Antonyms[edit]

Hyponyms[edit]