文件名称：Three-valued logic
文件大小：102KB
文件格式：PDF
更新时间：2017-11-17 04:49:43
logic database Null
In logic, a three-valued logic (also trivalent, ternary, trinary logic, or trilean,[citation needed] sometimes abbreviated 3VL) is any of several many-valued logic systems in which there are three truth values indicating true, false and some indeterminate third value. This is contrasted with the more commonly known bivalent logics (such as classical sentential or boolean logic) which provide only for true and false.