Noun
classical logic (countable and uncountable, plural classical logics)
(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.
Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. Source: Internet
Classical logic extends intuitionistic logic with an additional axiom or principle of excluded middle : :For any proposition p, the proposition p ∨ ¬p is true. Source: Internet
Classical logic The intended semantics of classical logic is bivalent, but this is not true of every semantics for classical logic. Source: Internet