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