An Etymological Dictionary of Astronomy and Astrophysics

A logical system, such as → classical logic,
in which every declarative sentence expressing a → proposition has exactly one → truth value, either → true or → false. Bivalent logic is just a sub-set of a more powerful type of logic known as → fuzzy logic. See also → polyvalent logic.

See also: → bivalent; → logic.