существительное · исчисляемое / неисчисляемое · редкое

classical logic

classical logic · classical logics

klassische Logik

A kind of logic based on the principles that each proposition has a truth value of…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.

Значение

значений: 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.
klassische Logik