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

  • 166
  • 0
  • 约3.56千字
  • 约 6页
  • 2017-11-10 发布于江苏
  • 举报

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

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

§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)所有的舞蹈者都很

文档评论(0)

1亿VIP精品文档

相关文档