Definition of principle of bivalance in English English dictionary
In logic, the semantic principle of bivalence states that every proposition takes exactly one of two truth values (e.g. truth or falsehood). The laws of bivalence, excluded middle, and non-contradiction are related, but they refer to the calculus of logic, not its semantics, and are hence not the same. The law of bivalence is compatible with classical logic, but not intuitionistic logic, linear logic, or multi-valued logic