SOLUTION: Solve the following proof: 1. A⊃B 2. B⊃~A 3. (AvD)vE 4. (DvE)->F / F

Question 1154187: Solve the following proof:

1. A⊃B
2. B⊃~A
3. (AvD)vE
4. (DvE)->F / F
Answer by Edwin McCravy(20060) (Show Source): You can put this solution on YOUR website!

1. A⊃B
2. B⊃~A
3. (AvD)vE
4. (DvE)->F    / F 
5. Av(DvE)  3, association 
6. (DvE)vA  5, commutation
                         |7.  ~F       Assumption for Indirect Proof
                         |8.  ~(DvE)   4,7, Modus Tollens
                         |9.  A        6,8, Disjunctive Syllogism 
                         |10. B        1,9, Modus Ponens
                         |11. ~A      2,10, Modus Ponens
                         |12. A&~A    9,11, Conjunction
13. F       Lines 7-12             Indirect Proof

Edwin

RELATED QUESTIONS
how to solve using indirect proof when there is a conditional in the conclusion 1.... (answered by Edwin McCravy)

Solve the following proof: 1. A -> B 2. B -> ~A 3. (A v D) v E 4. (D v E) -> F (answered by math_helper)

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

Construct proofs to show the following are valid: 1. ~E 2. F->(DvE) 3. ~D (answered by Edwin McCravy)

do a proof for the following arguments: 1. XvY 2. ~F 3. D > X 4. ~Y&F /~D&F... (answered by solver91311)

can i have help solving this proof please? Construct a regular proof to derive the... (answered by jim_thompson5910)

The function f has the following properties: * f(a,b) is defined for all positive... (answered by CPhill)

Create a proof for the following argument 1. M ⊃ H 2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)

If f is a 1-1 function and f(0) = 4, f(1) = 5, f(2) = 7, and f(3) = 9, find the... (answered by richard1234)