内容发布更新时间 : 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.在概念外延间的全异、真包含、交叉关系中,属于传递性