SOLUTION: 1. G ⊃ (H ⊃ K) 2. (H ∨ ∼M) ⊃ ∼K 3. H / ∼G

Algebra ->  Proofs -> SOLUTION: 1. G ⊃ (H ⊃ K) 2. (H ∨ ∼M) ⊃ ∼K 3. H / ∼G       Log On


   

Question 1149801: 1. G ⊃ (H ⊃ K)
2. (H ∨ ∼M) ⊃ ∼K
3. H / ∼G

Answer by Edwin McCravy(20060) About Me  (Show Source):
You can put this solution on YOUR website!
1.	G ⊃ (H ⊃ K)	 
2.	(H ∨ ∼M) ⊃ ∼K	 
3.	H                                	/ ∼G

4.      H ∨ ∼M           3,  addition
5.      ~K               2,4, modus ponens
6.      (G ∨ H) ⊃ K      1,  importation
7.      ~K ⊃ ~(G ∨ H)    6,  transposition
8.      ~(G ∨ H)         7,5, modus ponens
9.      ~G • ~H          8,  DeMorgan's law
10.     ~G               9, simplification

Edwin