SOLUTION: Prove using Conditional Proof 1. C ⊃ (D ∨ ∼E) 2. E ⊃ (D ⊃ F) / C ⊃ (E ⊃ F)

Question 1193813: Prove using Conditional Proof
1. C ⊃ (D ∨ ∼E)
2. E ⊃ (D ⊃ F) / C ⊃ (E ⊃ F)
Answer by math_tutor2020(3817) (Show Source): You can put this solution on YOUR website!

Hints:

When the conclusion is in the form A ⊃ B, and we're doing a conditional proof, we assume that A is the case and try to reach statement B through the rules of inference. That is sufficient to derive the full conclusion of A ⊃ B

If we assume C is the case, then we can get D v ~E through the modus ponens rule (when focusing on premise 1).
That turns into ~E v D and E ⊃ D because of the material implication rule.

We can rewrite premise 2 like so
E ⊃ (D ⊃ F)
(E & D) ⊃ F ... exportation rule
(D & E) ⊃ F
D ⊃ (E ⊃ F) ... exportation rule again

Then notice how we managed to get these two statements
E ⊃ D
D ⊃ (E ⊃ F)
Try to see how you can combine them.
If you need more help, then let me know.

RELATED QUESTIONS
Using a conditional proof: 1. (D v E) ⊃ (F � G) 2.( A v B) ⊃ (D � C) (answered by jim_thompson5910)

1. A > [B>(C*~D)] 2. (BvE)>(DvE) Therefore, 3. (A*B) > (C*E) Using conditional... (answered by jim_thompson5910)

Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)

1. ~(~C • D) 2. ~D ⊃ E 3. C ⊃ ~F //F ⊃ E (answered by Edwin McCravy)

E={a,b,c,d,e,f} (answered by math-vortex)

Two step proof: 1. D > E 2. F > G 3. D v F / E v G (answered by Edwin McCravy)

Prove the following using indirect proof: 1. (A ∨ B) ⊃ C 2. (∼A ∨ D) ⊃ E (answered by math_tutor2020)

Use conditional proof (CP) together with the eight rules of implication and ten rules of... (answered by math_tutor2020)

Can you tell me the completed formal proof? 1. (C v D) > (E * F) 2. D v C :. E 3.... (answered by Edwin McCravy)