SOLUTION: F → A, ∼J • ∼K, H → (G → F), ∼K → (∼J → H) ∴ G → A

Question 1141255: F → A, ∼J • ∼K, H → (G → F), ∼K → (∼J → H) ∴ G → A
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

 1.  F → A
 2.  ∼J • ∼K
 3.  H → (G → F)
 4.  ∼K → (∼J → H)          ∴ G → A

                         | 5.  G               Assumption for Conditional Proof
                         | 6. (~K • ~J) → H    4, Importation
                         | 7. (~J • ~K) → H    6, Commutation
                         | 8. H                7,2, Modus ponens
                         | 9. G → F            3,8, Modus ponens
                         |10. A                9,1, Hypothetical syllogism

11.  G → A             lines 5-10    Conditional proof

Edwin

RELATED QUESTIONS
Let U = {a, b, c, d, e, f, g, h, i, j, k, l} and A = { a, c, f, h, k, l} Find the... (answered by solver91311)

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)

� 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)

Solve: F/(G -> H) v (~G ->... (answered by solver91311)

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)

please help to complete the following series... (answered by Fombitz)

If a(k) = 5+5^2+5^3+5^4+...+5^k , for which of the following values of k will a(k) be... (answered by KMST)

How would you prove this argument valid ? 1. A > H 2. G > S 3. ~ K > (A v G) 4. ~ K (answered by math_helper)