东南教育网您的位置:首页 >教育行情 >

罗素一怀特海命题演算公理系统(关于罗素一怀特海命题演算公理系统介绍)

导读 大家好,小钱来为大家讲解以上的问题。罗素一怀特海命题演算公理系统,关于罗素一怀特海命题演算公理系统介绍这个很多人还不知道,我们一起来

大家好,小钱来为大家讲解以上的问题。罗素一怀特海命题演算公理系统,关于罗素一怀特海命题演算公理系统介绍这个很多人还不知道,我们一起来看看!

1、 罗素一怀特海命题演算公理系统(R ussel and Whitehead axiomatic system of propositional calcu- lus)是一种重要的命题演算公理系统。

2、是由英国数理逻辑学家罗素(Russell,B. A. W.)和英国逻辑学家、数学家怀特海(Whitehead, A. N.)在《数学原理》一书中给出的命题演算公理化的形式系统。

关于罗素一怀特海命题演算公理系统到此分享完毕,希望能帮助到您。

免责声明:本文由用户上传,如有侵权请联系删除!