大学离散数学方景龙版答案-§2.4 谓词公式的推理演算.docxVIP

20XX 年复习资料 大 学复习资料 日 期： 专 业： 班 级： 科目老师： 1 / 7 §2.4 谓词公式的推理演算 习题 2.4 利用非形式化证明方法或等价演算法证明如下推理关系： （1） ?x( A(x) ? B(x)) ? ?x( A(x) ? B(x)) （2） ?xA(x) ? ?xB(x) ? ?xA(x) ? ?xB(x) （3） ?xA(x) ? ?xB(x) ? ?xA(x) ? ?xB(x) （4） ?xA(x) ? ?xB(x) ? ?xA(x) ? ?xB(x) （5） ?xA(x) ? ?xB(x) ? ?xA(x) ? ?xB(x) （6） ?xA(x) ?