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