二值逻辑
经典的意义上,称一个逻辑是
二值的
,当任何命题(不含自由变量)只能为真或假,且不能同时为真也为假。即该逻辑是一致的且每个命题都是可判定的。
参考资料
《数理逻辑》(第二版)汪芳庭