谓词演算等价式和蕴含式.pptVIP

第二章谓词逻辑 第五讲  、谓词演算中的永真蕴含公式 (1)存在量词对合取式的蕴含式 彐x(P(x)∧Q(x)→彐xP(x)∧彐Qx) (2)全称量词对析取式的蕴含式 VxP(x)vvxer)=Vx(P(r)vo(x))  谓词演算的等价式和蕴含式 (x)分彐(x) 3Px)分x(x) E17量词转换律 Vx(A(r)AB(x)eVrA(x)AvxRx 彐x(P(x)vOx))分彐/x)v3x) E19量词分配律 vx(A(x)VB)分vA(x)vB vr(A(x)∧B)ⅥAx)AB 彐r(A(x)VB)今彐M(x)vB 式(A(x)∧B)今彐A(x)AB vxAx)→B分彐(A(x)→B 彐A(x)→B分x(A(x)→B) B→ⅥA(x)Ⅵ(B→A(x) B→彐4x)丑(B→A(x) E27辖域扩张收缩 vxr)year)=vr((r)v(r) 彐x(P(x)AO(x)→彐Px)A彐ax) 丑Mx)→ⅵxBx)→vx(A4(x)→B(x)  例2-15用谓词演算的等价式和蕴含式证明 (1)(P(x)→Q(x))兮VxP(x)→3x) (2)wxyy(P(x)→Q(y))彐Px)→yQ(y) (3)Wx(P(x)→Q(x))→P(x)→xgx) 证明(1):x(P(x)→g(x) 兮彐(P(x)vO(x)) erp(