SOLUTION: (A>Y)&(F>H) (A>K)&(C>A) (K>A)&(W>C) KvW ~A /YvH

Algebra ->  Proofs -> SOLUTION: (A>Y)&(F>H) (A>K)&(C>A) (K>A)&(W>C) KvW ~A /YvH      Log On


   

Question 980739: (A>Y)&(F>H)
(A>K)&(C>A)
(K>A)&(W>C)
KvW
~A
/YvH
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
1. (A>Y)&(F>H)
2. (A>K)&(C>A)
3. (K>A)&(W>C)
4. KvW     
5. ~A          /YvH

6. K>A    3,simp
7. ~A>~K  6,trans
8. ~K     7,5,mp
9. W      4,8,ds
10, W>C   3,simp
11, C     10,9,mp
12, C>A   2,simp
13. A     12,11,mp  
14. A>Y   1,simp
15. Y     14,13,mp

Edwin