逻辑学模拟题(作业)

来源：用户分享时间：2025/5/23 15:19:33 本文由

loading 分享下载这篇文档手机版

说明：文章内容仅供预览，部分内容可能不全，需要完整文档或者需要复制内容，请下载word后使用。下载word有问题请添加微信号:xxxxxxx或QQ：xxxxxx 处理（尽可能给您提供完整文档），感谢您的支持与谅解。

(F∨E) →?D \\ ∴D→B

四、根据给出的符号，构造推理有效性的形式证明

1、(A→B) ∧(C→D) B∧D ∴A∨C

2、A → B B → C

∴ A → C

3、A ∨（ B → C ）

(B → (B ∧ C)) → (P ∨ Q)

(P → A) ∧ (Q → E) \\ ∴ A ∨ E

4、 (A∨B)→(C∧D) ?A→(E→-E) ?C \\∴-E

　　 5、①A∨(B ∧ C)

②(A → D) ∧ (D → C) \\ ∴C

6、①A → B ②C → D

③(B ∧ D)→ E

④?E \\ ∴ ?A ∨ ?C

7、①A∨(B∧C)　　　

　 ②A→C　　　　 \\∴C 　

8、① （ A ∨ B ）→ C 　 ② B \\ ∴C

搜索更多关于：逻辑学模拟题(作业) 的文档

逻辑学模拟题(作业).doc 将本文的Word文档下载到电脑，方便复制、编辑、收藏和打印