二值逻辑

经典的意义上，称一个逻辑是二值的，当任何命题(不含自由变量)只能为真或假，且不能同时为真也为假。即该逻辑是一致的且每个命题都是可判定的。

参考资料