全息逻辑.docVIP

全息逻辑 ?.l?16? , 逻晦 1994年第1.2期 全息逻辑 孔令宏(云 ———————一 一 ,形式系统 (一)初始符号 l_变项:Pl,,…H(i=l,2…) 2.关联项:一n,U,co,_7,～,?,(,),[,] (二)形成规则 l-任一变项是合式公式. 2.如果A是合式公式.则-,A,～A,ooA,?A也是合式公式. 3.如果A,B是合式公式.则A—B,AUB,AAB也是台式公式. 4.所有的台式公式由l,2,3给出. (三)定义 】.A~B=defAnB≠西 2.A?B=d—7(AnB)U(AnB≠) 3.AooB=amp;f?～A (四)公理系统 l(1,A一(B—A) ,(AUB)一A Ks,(AUB)—-B K,A—AnB ,B-*AnB l(‘,(A—吒)--[(Br)--(AnB—)] ,(A—.B)一[(A——B)一—A)] K.,AA K-,～～A—A KP.(_7)_7P.(P) 碥-,Pl(PU亡R(P)UP.(P)] K(Va)(P.阻(P)])—[va)Pa(P)J Km(V口)[(P) Kl’,?A—-A KH,?A—-A (五)推理规刚 1.分离规则(MP)如果A.A—B是定理,则B也是定理. 2.全息规则’Rc).如果A成立.则R(A)也成立. n弓 一 囊, ‘借科壕春?17? 定义4;由以上(一),(二),lt;---),(四),(五)这五个部分组成的形式化系统,叫做全息逻辑 系统,简称.HF系统. 定义5?r是HF的任意一个合式公式集合(可为空集,,,…,Ai,…An)是I-IF系统的 一 个台式公式序列).若每一个Ai满足下列条件之一,则r和Ai之问有形式推演关系,记作r . 1.r 2.是系统I-IF的公理. 3.由前后两q’Jh式应用MP或Rc规则所得的直接后承. 定理1t设c,D,E,F,r皆为公式集,则由定义可得下列系列定理; Th1.1EE Th1.2C,D,E卜E Th1.3若r卜E,则c,r卜E Th1.4若C,C,r卜E,则C,r卜E. Th1.5若F,D,C,r卜E,则F,C,D,rE. Th1.6若F卜C及C,r卜E,则F,rE. 1_h1.7若C,D,E,F,r卜r,则r卜r,F,E,D,C. 定理2 Th2.1若r,AB,则r卜A—?B Th2.2若rA--~B,则r,A卜B. 定理3,由公理推出的序列 nL3.1A,B卜(AUB)U(AnB) Th3.2A,A¨jB(即MP) Th3.3AUBA Th3.4AUBB Th3.5A卜AnB Th3.6BAnB Th3.7若r,A卜C及r,BC,则PAnBC. Th3.8--~-,AA Th3.9若r,AB及r,A卜～B,则r卜～A. Th3.1O若r,A卜B及r,A卜?B,则r卜?B. Th3.IIC(P)]—P.(P) Th3.12P口C(P)]-?P㈣)(P) 在以上定理中,只有3.9,3.10,3.II,3.12是I-IF系统的新公理所引出的以3.9为例证 明如下.’ 1,r,AB(侣l设)2,r卜A—?B(Th1) 3,r,A—B(假设)4,r卜A～B(3,Th1) ,5A～A(K8) 6,(A—B)一[(A一—B)一～A] 7,～A(2,4,6,Th3.1～3.6) 定理4 ?l8?1994年第1,2期 Th4.1 Th4.2 Th4.3 Th4.4 A,—A卜B ～ A一(A一～B) ooAB ? AB 在经典逻辑非否定(_7)下有Th4.1.即”邓斯一斯各特定理”,它说明由经典矛盾可推出一 切,也即:假若A与_7A同时存在,那么,必然存在B可对A与_7A的同时存在作出更高层次 的解释.Th4.2,Th4.3,Th4.4则说明,在全息逻辑的反否定(～),垒否定(?全息否定(o.) 下也可推出一切. Th4.1不必再作证明.14.3和Th4.4系由它们各自的定义推导而出.兹证明Th4.2于 如下: 1,～A,A,B～A(Th1.2)- 2,～A,A,BA(Th1.2) 3,～AA～B(1,2T’a3.9), 4,～A一(A一～B)(3,12.1). 定理5 ThS.1(A—B)一(1B一1A) ThS.2(A一1B)一(B_+A) Th5.3(A—B)一(～B一～A) ThS.4(A—B)一(o.B—o.A)1 Th5.5(A—-B)—-(?B?A)f Th5.1,Th5.2为经典逻辑系统中的换质检位律,证略. Th5.3的证明:一 l,A—B.～B,AB(MP)’’ 2,A—B,～B.A～B(Th1,Th2) 3,A—B,～BA(1,2,Th3.9).. 4,(A—B)÷(～B一～A)(3,12). Th5,4,Th55的证明与Ttl5.5类似,略.? 定理6～(AU～A) 证明略. 定理