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

Algebra ->  Proofs -> SOLUTION: F → A, ∼J • ∼K, H → (G → F), ∼K → (∼J → H) ∴ G → A      Log On


   

Question 1141255: F → A, ∼J • ∼K, H → (G → F), ∼K → (∼J → H) ∴ G → A
Answer by Edwin McCravy(20054) About Me  (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