SOLUTION: ((A & B) & C) & D, (D & C) → F, (B & C) → G, (A & D) → H ├ H & (G & F)

Question 1209588: ((A & B) & C) & D, (D & C) → F, (B & C) → G, (A & D) → H ├ H & (G & F)

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

 1. ((A & B) & C) & D, 
 2. (D & C) → F, 
 3. (B & C) → G,
 4. (A & D) → H        ├ H & (G & F)

 5. (A & B) & C            1, Simplification
 6. A & B                  5, Simplification
 7. A                      6, Simplification  
 8. B & A                  6, Commutation
 9. B                      8, Simplification  
10. C & (A & B)            5, Commutation
11. C                     10, Simplification
12. D & ((A & B) & C)      1, Commutation
13. D                     12, Simplification
14. A & D               7,13, Conjunction
15. H                      4, Modus Ponens
16. B & C               9,11, Conjunction
17. G                   3,16, Modus ponens
18. D & C              13,11, Conjunction
19. F                   2,15, Modus Ponens
20. G & F              17,19, Conjunction
21. H & (G & F)        15,20, Conjunction

        
Edwin

RELATED QUESTIONS
� U = {a, b, c, d, e, f, g, h, i, j, k} � A = {a, c, d, f, g, i} � B = {b, c, d, f,... (answered by stanbon)

Determine the following: B ∪ C if: U= {a, b, c, d, e, f, g, h, I, (answered by jim_thompson5910)

A� U B� U = {a, b, c, d, e, f, g, h, I, j, k} A= {a, c, d, f, g, I} B= {b, c, d, f, g} (answered by stanbon)

Let U=(a,b,c,d,e,f,g,h) A=(a,c,d) B=(b,c,d) C=(b,e,f,g,h) Find the set: (answered by Edwin McCravy)

a-{b-[c-(d-e)-f]-g} (answered by Mathtut)

U = {a,b,c,d,e,f,g,h}, A = {b,c,d}, A'= My answer is {a,e,f,g,h} Thanks for checking my (answered by stanbon)

universal set: U=(a,b,c,d,e,f,g,h,7,8,9,) A=(b,7,d,g,h,)... (answered by richwmiller)

Define sets U,A,B as shown below find (AUB)'∩ C U=(a,b,c,d,e,f,g,h) A=(d,g,h)... (answered by Fombitz)

U={a,b,c,d,e,f,g,h,i} A={a,c,g,h} B={a,b,c,d} C={b,c,g,i} (A U B') n (C n... (answered by math_tutor2020)