逻辑学模拟题(作业)

(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