SOLUTION: Logical Proofs (Solve and Show Work) 1. G ⊃ (H ⊃ K) 2. (H v ~M) ⊃ ~K 3. H / ~G

Question 1156052: Logical Proofs (Solve and Show Work)
1. G ⊃ (H ⊃ K)
2. (H v ~M) ⊃ ~K
3. H / ~G
Answer by Edwin McCravy(20060) (Show Source): You can put this solution on YOUR website!

1. G ⊃ (H ⊃ K)
2. (H v ~M) ⊃ ~K
3. H              / ~G 

                   | 4. ~~G       Assumption for Indirect Proof
                   | 5. G         4, Double Negation 
                   | 6. H ⊃ K     1,5, Modus Ponens
                   | 7. K         6,3, Modus Ponens 
                   | 8. H v ~M    3, Addition 
                   | 9. ~K        2,8, Modus Ponens 
                   |10. K & ~K    7,9, Conjunction
11. ~G        Lines 4-10    for Indirect Proof

Edwin

RELATED QUESTIONS
Solve the two step proofs below: 1. ~C 2. A > B 3. B > C / ~A 1. D > E 2. F > G (answered by Edwin McCravy)

1. ~(K v F) 2. ~F ⊃ (K v C) 3. (G v C) ⊃ ~H / ~(K v... (answered by Edwin McCravy)

1. ~(K v F) 2. ~F ⊃ (K v C) 3. (G v C) ⊃ ~H /~(K v H) (answered by CPhill)

Use an ordinary proof to show the conclusion can be derived from the premises. 1. G... (answered by Edwin McCravy)

1. G ⊃ (H ⊃ K) 2. (H ∨ ∼M) ⊃ ∼K 3. H /... (answered by Edwin McCravy)

1. (R v S) > (H & ~G) 2. (K v R) > (G v ~H) / ~R (answered by jim_thompson5910)

please help me solve this: 1.(F v G) > (H & I) 2. I > K 3.~k.:... (answered by Edwin McCravy)

1. ~H 2. H v K 3. L >H 4. ~(K.~L) v (~L.M) /... (answered by jim_thompson5910)

1. G⊃(H⊃K) 2. (H∨∼M)⊃∼K 3. H /... (answered by math_helper,RBryant)