گوییک ِ دو-ارز 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*. → *bivalent*; → *logic*. |