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.)在《数学原理》一书中给出的命题演算公理化的形式系统。
恭城250亩旱地
1小时13分钟!
百色市田阳区坡
巩固拓展脱贫攻
三季报密集披露
【文明执法】全