bivalent logic guyik-e do-arz Fr.: logique bivalente 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. |