罗素一怀特海命题演算公理系统(关于罗素一怀特海命题演算公理系统介绍)
2023-05-25 09:48:16
•
来源:
导读 大家好,小钱来为大家讲解以上的问题。罗素一怀特海命题演算公理系统,关于罗素一怀特海命题演算公理系统介绍这个很多人还不知道,我们一起来
大家好,小钱来为大家讲解以上的问题。罗素一怀特海命题演算公理系统,关于罗素一怀特海命题演算公理系统介绍这个很多人还不知道,我们一起来看看!
1、 罗素一怀特海命题演算公理系统(R ussel and Whitehead axiomatic system of propositional calcu- lus)是一种重要的命题演算公理系统。
2、是由英国数理逻辑学家罗素(Russell,B. A. W.)和英国逻辑学家、数学家怀特海(Whitehead, A. N.)在《数学原理》一书中给出的命题演算公理化的形式系统。
关于罗素一怀特海命题演算公理系统到此分享完毕,希望能帮助到您。
免责声明:本文由用户上传,如有侵权请联系删除!