未找到相关数据
中介逻辑的命题演算系统(Ⅰ)
被引：37
作者：
肖奚安
朱梧槚
机构：
[1] 空军气象学院
[2] 南京大学
来源：
关键词：
中介逻辑;
中介原则;
MP;
符号;
合式公式;
命题演算系统;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
<正> 本文根据中介原则构造中介逻辑的命题演算系统MP.MP的基本符号,除命题词p,q,r,pi,qi,ri（i=1,2,…）和技术符号（,）,[,]外,还有联结词→,（?）,～,如[1]所述,这样,中介原则的含义即指任给谓词P,将有x使P（x）和（?）P（x）都部分地真,或说未必总有
引用
收藏
页码：315 / 316
页数：2
相关论文