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

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


   

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) About Me  (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