(相关资料图)
1、 罗素一怀特海命题演算公理系统（R ussel and Whitehead axiomatic system of propositional calcu- lus）是一种重要的命题演算公理系统。
2、是由英国数理逻辑学家罗素（Russell,B. A. W.）和英国逻辑学家、数学家怀特海（Whitehead, A. N.）在《数学原理》一书中给出的命题演算公理化的形式系统。
关键词：
(相关资料图)
1、 罗素一怀特海命题演算公理系统（R ussel and Whitehead axiomatic system of propositional calcu- lus）是一种重要的命题演算公理系统。
2、是由英国数理逻辑学家罗素（Russell,B. A. W.）和英国逻辑学家、数学家怀特海（Whitehead, A. N.）在《数学原理》一书中给出的命题演算公理化的形式系统。
关键词：
