SOLUTION: 1. A -> (B • C) 2. ~[(B • D) • C] 3. D

Algebra ->  Proofs -> SOLUTION: 1. A -> (B • C) 2. ~[(B • D) • C] 3. D       Log On


   

Question 1157678: 1. A -> (B • C)
2. ~[(B • D) • C]
3. D

Found 2 solutions by Edwin McCravy, jim_thompson5910:
Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!

You left off the conclusion.  However, I will guess it was supposed to be ~A

 1. A -> (B • C)
 2. ~[(B • D) • C]
 3. D                   /~A

 4. ~[B • (D • C)]          2, Association
 5. ~[B • (C • D)]          4, Commutation
 6. ~[(B • C) • D]          5, Association
 7. ~(B • C) v ~D           6, DeMorgan's Law
 8. ~D v ~(B • C)           7, Commutation
 9. ~~D                     3, Double Negation
10. ~(B • C)                8,9 Disjunctive Syllogism
11. ~A                      1,10 Transposition

Edwin

Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!

It's not clear how the tutor @Edwin McCravy guessed the conclusion should be ~A. Though if this is the case, then his derivation table is mostly correct except the "transposition" reason (line 11) should be "modus tollens".