首页 | 本学科首页   官方微博 | 高级检索  
     

中介逻辑的谓词演算系统(Ⅰ)
作者姓名:朱梧槚  肖奚安
作者单位:南京大学数学系,南京大学空军气象学院
摘    要:本文在中介原则的观点下构造中介逻辑的谓词演算系统MF,我们首先给出它的符号系统、形成规则和推理规则,又作为MF的初步展开而给出它的若干个形式推理关系,其中包括的一个重要定理,那就是MF中的替换定理。M F 形式符号:(一)逻样词s(二)个体词,a,b,c ,a; ,b;,c;< z = 1。2,…;(三)谓词F,G,rH,(i二1,2…),(四)约束变元X,L,Xr,Zt Yf, 了五)技术符MF的形成规贝.:(i) F'(a,...a})是合式公式;(ii)如果J是合式公式,则一工和X是合式公式,(iii)如果X和Y是合式公式,则〔X-> Y〕是合式公式;(iv)如果X(a>是合式公式。在其中出现,X不在其中出现,则和ExX }x}是合式公式。至于FM的形式推理规则,乃在接受M的全部推理规之外,另加如下六条(a).其中a不在r中出现,则r卜}TxA }x} ; ( 3 _)若A(a) - B,其中。不在B中出现,则3 xAB; ( 3 +)A(a) }-其中A }x}是由A(a)把其中a的某些出现替换为x而得; 定理4(替换定理)如果AI-I B,而f(P)为MF中之任一今式公式,则有fcA>I=If(B)>o

关 键 词:谓词演算  中介命演算  中介谓词演算  全称量词  存在量词  替换定理
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号