n. in logic, refers to the principle which reasons that every proposition has only one truth value and that it can only either be true or false. See two-valued logic- also bivalent logic. Compare law of excluded middle.
BIVALENCE: “Bivalence is a term often used in chemistry, but it is also part of the law of semantics in logic.”