标准逻辑

“经典逻辑”的别称。与“非标准逻辑”相对。泛指基于二值外延逻辑系统(系统中的每一变项和公式至少而且至多在真、假二值中取一)的命题逻辑、谓词逻辑、关系逻辑、数学逻辑(模型论、集合论、递归论、证明论)等等。 ......    （本文共 101 字 ）     [阅读本文] >>