noun
two-valued logic
Rare technical term in logic and computer science, referring to a logical system where every proposition is either true or false.
古典論理学は二値論理学に基づいている。
Classical logic is based on two-valued logic.
多値論理学 (many-valued logic) allows more than two truth values, while 二値論理学 is strictly two-valued.
Compound of 二値 (two values) + 論理学 (logic). A direct calque of the English term 'two-valued logic'.