classical logic

countable uncountable

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

Japanese Meaning

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

What is this buttons?

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.

Google Translation / DeepL Translation

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

Details

Sense（1）