用归结反演法证明下列公式的永真性: (1)(匸X) {[P (X) →P (A ) ] ∧ [P (X) →P ( B) ]} (2)Γ' Z) [Q (Z) →P (Z) ] →{ (H X) [Q (X) →P (A) ] ∧ [Q ( x) →P (B) ]} (3)(二X)(二y) {[P (f ( x))∧ Q (f ( B)) ] →[P (f (A ))...
归结过程为 (1) P (2) Q (3) P R (4) Q S (5) S R (6) R (7) S (8) S (9) □ 故原式为定理 (1)(3)归结 (2)(4)归结 (5)(6)归结 (7)(8)归结 5 试用列真值表的方法证明下列异或运算公式 [2-1] 试用列真值表的方法证明下列异或运算公式。 (1) A 0 A A A 1 (2) ...
百度试题 题目用归结反演法证明下列公式的永真性: (x){P(x)∧[Q(A)∨Q(B)]}→(x)[P(x)∧Q( )相关知识点: 试题来源: 解析 错误 反馈 收藏
(1)(匸x) {[P (x) tp (A) ] A [P (x) tp ( B) ]} (2)T-z) [Q (z) tp (z) ] t{(工x) [Q (x) tp (A) ] A [Q (x) tp (B) ]} (3)(二x)(二y) {[P (f (x))A Q (f ( B)) ] t[P (f (A ))A P (y)A Q (y)]} ...