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)