In
logic, the semantic
principle (or law) of bivalence states that every declarative sentence expressing a proposition (of a theory under inspection) has exactly one
truth value, either
true or
false. A logic satisfying this principle is called a
two-valued logic or
bivalent logic.