经典逻辑

更新时间:-- | 阅读量: 33

亦称“标准逻辑”。主要指由弗雷格、罗素所创立的以二值逻辑为基础的命题演算和谓词演算......允许出现不指称任何实存个体的空词项。凡去掉上述特征即限制性条件中的一个或多个,或通过对之进行扩张而得到的新的逻辑系统,一般皆不称为经典逻辑。

搜索到与“ 经典逻辑”相关的文献共 0

查看更多

经典逻辑相似词

经典逻辑相关词

经典逻辑相关期刊

Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

京ICP备2021021570号-13

京公网安备 11011102000866号