SOLUTION: This one is nuts A -> (D -> E) F -> [(A & B) v (A & ~B)] We have to show (F & D) -> E

Algebra.Com
Question 251008: This one is nuts
A -> (D -> E)
F -> [(A & B) v (A & ~B)]
We have to show (F & D) -> E

Answer by solver91311(24713)   (Show Source): You can put this solution on YOUR website!


Note that [(A & B) v (A & ~B)] is equivalent to A. So

F -> [(A & B) v (A & ~B)] is the same thing as F -> A, hence A -> (D -> E) is the same thing as F -> (D -> E), and (F & D) -> E follows directly.


John


RELATED QUESTIONS

E={a,b,c,d,e,f} (answered by math-vortex)
1. A -> ~(B v C) 2. ~D -> (~A -> ~E) 3. ~(~E v F) 4. ~F -> (A -> B) /D I don't... (answered by Edwin McCravy)
1. A -> (D -> E) 2. F -> [(A & B) v (A & ~B)] concl: (F & D) -> E Professor says it... (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)
a-{b-[c-(d-e)-f]-g} (answered by Mathtut)
Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)
triangle A B E is congruent to triangle D C F. What is the measure of angle C F... (answered by ikleyn)
I need help finishing this proof. A v (~B v ~C), A -> (D -> E), ~(~B v ~D) :. C -> (D -> (answered by jim_thompson5910)
U={a,b,c,d,e,f} A=}a,b,d,e} B={b,c,f} C={c,d,e,} Find... (answered by Edwin McCravy)