《应用离散数学》方景龙谓词公式的推理演算.docVIP

§2.4 谓词公式的推理演算 习题2.4 1. 利用非形式化证明方法或等价演算法证明如下推理关系： （1） （2） （3） （4） （5） （6） 解 略 2. 指出下面演绎推理中的错误，并给出正确的推导过程。 （1） ① P规则 ② US规则：① （2） ① P规则 ② US规则：① （3） ① P规则 ② ES规则：① （4） ① P规则 ② UG规则：① （5） ① P规则 ② EG规则：① （6） ① P规则 ② EG规则：① 解 略 3. 指出下面演绎推理中的错误，并给出正确的推导过程。 （1） P规则 （2） US规则：（1） （3） ES规则：（2） （4） UG规则：（3） （5） US规则：（4） 解 错误出现在步骤（3）。因为中含有自由变元，所以不能使用ES规则得到。 正确的推导过程为： （1） P规则 （2） US规则：（1） 4. 指出下面演绎推理中的错误，并给出正确的推导过程。 （1） P规则 （2） US规则：（1） （3） P规则 （4） ES规则：（3） （5） T规则：（2），（4） （6） EG规则：（5） 解 错误出现在步骤（4）。使用ES规则得到的中的已经出现在前面的公式中，所以错误，正确的推导过程为： （1） P规则 （2） US规则：（1） （3） P规则 （4） ES规则：（3） 5. 用演绎法证明下列推理式 （1） （2） （3） （4） 证明（1）式的证明： （1） 附加前提 （2） （1），US规则 （3） P规则 （4） （3），US规则 （5） （2），（4），T规则 （6） （5），EG规则 根据附加前提法知 （2）式的证明： （1） 附加前提 （2） （1），E规则 （3） （2），E规则 （4） （3），T规则 （5） （4），US规则 （6） （5），EG规则 （7） P规则 （8） （6），（7），T规则 （9） （8），ES规则 （10） （3），T规则 （11） （10），US规则 （12） （9），（11），T规则 （13）0 （12），E规则 所以根据附加前提法知 （3）式的证明： （1） 附加前提 （2） （1），US规则 （3） P规则 （4） （3），US规则 （5） （2），（4），T规则 （6） （5），EG规则 所以根据附加前提法知 （4）式的证明略。 6. 用演绎法证明下列推理式 （1） （2） （3） （4） 证明（2）式的证明： （1） P规则 （2） （1），ES规则 （3） 附加前提 （4） （3），E规则 （5） （4），US规则 （6） （2），（5），T规则 （7） P规则 （8） （7），US规则 （9） （2），（8），T规则 （10） （9），T规则 （11） （6），（10），T规则 （12）0 （11），E规则 所以根据附加前提法知 （4）式的证明： （1） P规则 （2） （1），US规则 （3） P规则 （4） （3），US规则 （5） （2），（4），T规则 （6） P规则 （7） （3），US规则 （8） （5），（7），T规则 （9） （8），UG规则 （1），（3）式的证明略。 7. 将下列命题符号化，并用演绎推理法证明其结论是有效的。 （1）有理数、无理数都是实数；虚数不是实数。因此，虚数既不是有理数，也不是无理数。（个体域取全总个体域） （2）所有的舞蹈者都很