SOLUTION: 1. (P v F) -> (A v D) 2. A -> (M ^ ~P) 3. D -> (C ^ ~P) / ~P

Question 1009889: 1. (P v F) -> (A v D)
2. A -> (M ^ ~P)
3. D -> (C ^ ~P) / ~P
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!


Indirect proof

 1. (P v F) -> (A v D)
 2. A -> (M ^ ~P)
 3. D -> (C ^ ~P)      / ~P

 4. ~~P                        AIP
 5. P                        4, DN 
 6. P v F                    5, add.
 7. A v D                  1,6, MP
 8. (M ^ ~P) v (C ^ ~P)  7,2,3, DE (disjunctive elimination)
 9. (M v C) ^ ~P             8, distribution
10. ~P ^ (M v C)             9, commutation
11. ~P                      10, simp.
12. P^~P                  5,11, conj.
13. ~P                    4-12  IP

Edwin

RELATED QUESTIONS
1. D 2. ~C 3. (A v B) -> C 4. [(~A � D) � ~B] -> (P -> Q) :. ~P v... (answered by jim_thompson5910)

Hi there, I'd love some help on answering these Logic Proof Questions: 1. 1. T > O (answered by math_tutor2020)

1.(D v L) -> ~S 2.(D & J) 3.(S v P) / P where v is a disjunction, & is a... (answered by jim_thompson5910)

1.(N V O) ⊃ (C • D) 2.(D V K) ⊃ (P V ~C) 3.(P V G) ⊃ (N • D) ∴... (answered by math_tutor2020)

Use Indirect proof to solve the following: (P v F) ⊃ (A v D) A ⊃ (M • ~P) D... (answered by math_tutor2020)

If vector x is denoted by V(x), If v(d)=p(V(a)XV(b))+q(V(b)XV(c))+r(V(c)XV(a)) and... (answered by venugopalramana)

I am having trouble solving the following propositional logic proofs. 1. Conclusion:... (answered by jim_thompson5910)

Use the first eight implication rules to create a proof of the following argument. 1. B... (answered by Edwin McCravy)

(1): Two Coins are tossed the no of heads that shows is a r.v.(x) find: 1) Probability... (answered by ikleyn)