English Dictionary

classical logic

名詞

可算名詞 不可算名詞

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

日本語の意味

各命題が「真」または「偽」のいずれかの真理値を持ち、両方ではなく一方のみであるという原則に基づいた論理体系。もし命題が同時に真と偽を持つか、または真偽のいずれの値も持たなかった場合、全ての命題にその矛盾が影響してしまう結果となる。

Many mathematicians defend classical logic, which holds that every proposition is either true or false and that allowing a proposition to be both or neither would make all propositions both true and false.

多くの数学者は、各命題が真か偽かのいずれかであり、ある命題が同時に真でも偽でも、またはどちらでもないことを許すとすべての命題が真かつ偽になってしまうという考えに基づく古典論理を擁護している。

意味（1）

(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 logics （ plural ）