loading
(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
5