SOLUTION: 1. A -> (D -> E) 2. F -> [(A & B) v (A & ~B)] concl: (F & D) -> E Professor says it is 11 lines w/ CP. HELP ME.

Question 929849: 1. A -> (D -> E)
2. F -> [(A & B) v (A & ~B)]
concl: (F & D) -> E
Professor says it is 11 lines w/ CP.
HELP ME.

Answer by Edwin McCravy(20055) (Show Source): You can put this solution on YOUR website!

 1. A -> (D -> E)
 2. F -> [(A & B) v (A & ~B)]
 concl: (F & D) -> E

 3.  F -> [A & (Bv~B)]   2,DL     (distributive law, "take out A & "
 4.  F -> A              3,CT     (conjunction with a tautology Bv~B)
 5.  F -> (D -> E)       1,4,HS   (hypothetical syllogism)
 6.  ~F v (D -> E)       5,CD     (conditional to disjunction)
 7.  -F v (~D v E)       6,CD     (conditional to disjunction)
 8.  (~F v ~D) v E       7,       (associative law)
 9.  ~(F & D) v E        8,DM     (deMorgan's law)          
10.  (F & D) -> F        9,CD     (disjunction to conditional)

I did it in 10 lines.
Have you studied "conditional to disjunction" and its
reverse "disjunction to conditional)? Is that what you
label "CP"?  [Some books label differently]. 

Edwin

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

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)

This one is nuts A -> (D -> E) F -> [(A & B) v (A & ~B)] We have to show (F & D)... (answered by solver91311)

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

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

I need help finishing this proof. A v (~B v ~C), A -> (D -> E), ~(~B v ~D) :. C -> (D -> (answered by jim_thompson5910)

If (a+b) to the power of 2 = (d+e)/f , calculate the value of e when a = -10 , b = 2, d = (answered by josgarithmetic)

1) (A&B) > ~(S v T) 2) ~E 3) (S v T) v ~(~E & ~F) 4) (~E v F) > (A&B) Conclusion: E (answered by solver91311)

How do I solve these proofs? Number one 1.~B v[(C>D)&(E>D)] 2. B&(C v E)... (answered by jim_thompson5910)