classical logic

Noun

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

Translations

 * Finnish: klassinen logiikka
 * French: logique classique
 * German: klassische Logik
 * Polish: logika klasyczna
 * Romanian: logică clasică