逻辑学基础教程课后练习题答案汇总

内容发布更新时间 : 2025/7/9 8:43:00星期一 下面是文章的全部内容请认真阅读。

⑺ D ⑻ D∨E

证明:⑴ E→F∧﹁G

⑵ F∨G→H ⑶ E ⑷ F∧﹁G ⑸ F ⑹ F∨G ⑺ H

证明:⑴ M→N

⑵ N→O

⑶ (M→O)→(N→P) ⑷ (M→P)→Q ⑸ M→O ⑹ N→P ⑺ M→P ⑻ Q

证明:⑴ A→B

⑵ B→C ⑶ C→D

⑷ (A→D)→(B→A) ⑸ ﹁A ⑹ A→C ⑺ A→D ⑻ B→A ⑼ ﹁B

证明:⑴ A∨B→(C∨D→E)

⑵ A ⑶ C∧D ⑷ A∨B ⑸ C∨D→E ⑹ C ⑺ C∨D ⑻ E ⑼ C∧D→E ⑽ A→(C∧D→E)

证明:⑴ A∨B→C∧D

⑵ D∨E→F ⑶ A

⑹,联言推理的分解式 ⑺,析取附加式 已知 已知 已知

⑴、⑶,充分条件推理的肯定前件式 ⑷,联言推理的分解式 ⑸,析取附加律

⑵,⑹,充分条件推理的肯定前件式 已知 已知 已知 已知

⑴、⑵,条件三段论

⑶、⑸,充分条件推理的肯定前件式 ⑴、⑹,条件三段论

⑷、⑺,充分条件推理的肯定前件式 已知 已知 已知 已知 已知

⑴、⑵,条件三段论 ⑶、⑹,条件三段论

⑷、⑺,充分条件推理的肯定前件式 ⑸、⑻,充分条件推理的否定后件式 已知 假设 假设

⑵,析取附加律

⑴、⑷,充分条件推理的肯定前件式 ⑶,联言推理的分解式 ⑹,析取附加律

⑸、⑺,充分条件推理的肯定前件式 ⑶、⑻,→引入 ⑵、⑼,→引入 已知 已知 假设

2.①E→F∧﹁G,②F∨G→H,③E。所以,H。

3.①M→N,②N→O,③ (M→O)→(N→P),④(M→P)→Q。所以,Q。

4.①A→B,②B→C,③ C→D,④(A→D)→(B→A),⑤﹁A。所以,﹁B。

5.A∨B→(C∨D→E)。所以,A→(C∧D→E)。

6.①A∨B→C∧D,②D∨E→F。所以,A→F。

⑷ A∨B ⑸ C∧D ⑹ D ⑺ D∨E ⑻ F ⑼ A→F

证明:⑴ A∧B→C

⑵ (A→C)→D ⑶ ﹁B∨E ⑷ B ⑸ E

⑹ ﹁(A∧B)∨C ⑺ ﹁A∨﹁B∨C ⑻ (﹁A∨C)→D ⑼ (﹁A∨﹁B∨C)→D ⑽ D ⑾ D∧E ⑿ B→D∧E

证明:⑴ A∨(B∧C)

⑵ (A→D)∧(D→C) ⑶ A→C

⑷ A∨(B∧C)→C ⑸ C

⑶,析取附加律

⑴、⑷,充分条件推理的肯定前件式 ⑶,联言推理的分解式 ⑹,析取附加律

⑵、⑺,充分条件推理的肯定前件式 ⑶、⑻,→引入 已知 已知 已知 假设

⑶、⑷,选言推理的否定肯定式 ⑴,等值命题 ⑹,德摩根定律 ⑵,等值命题 ⑻,条件附加律

⑺、⑼,充分条件推理的肯定前件式 ⑸、⑽,联言推理的组合式 ⑷、⑾,→引入 已知 已知

⑵,条件三段论 ⑶,条件附加律

⑴、⑷,充分条件推理的肯定前件式

7.①A∧B→C,②(A→C)→D,③﹁B∨E。所以,B→D∧E

8.①A∨(B∧C),②(A→D)∧(D→C)。所以,C。

第七章 谓词逻辑初步

一、填空题

1.关系词项“包庇”在直接关系推理中表现为(非对称)性,在间接关系推理中表现为(非传递)性。 2.如果关系R是反传递性的,则由aRb和bRc为前提,可推出(﹁(aRc))。

3.在概念外延间的全异、真包含、交叉关系中,属于传递性

>>展开全文<<
12@gma联系客服:779662525#qq.com(#替换为@) 苏ICP备20003344号-4 ceshi