热点

全球焦点!罗素一怀特海命题演算公理系统_关于罗素一怀特海命题演算公理系统介绍

2023-05-26 05:23:35 来源: 互联网


(相关资料图)

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

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

热门资讯