二值逻辑

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

参考资料