SOLUTION: Trying to write the proof and am stuck. 1.H > J 2.~(J & H) / ~H

Algebra.Com
Question 1118661: Trying to write the proof and am stuck.
1.H > J
2.~(J & H) / ~H

Answer by math_helper(2461)   (Show Source): You can put this solution on YOUR website!
Trying to write the proof and am stuck.
1.H > J
2.~(J & H) / ~H
==================================
1. H—>J          Premise
2. ~(J & H)      Premise
3. ~J v ~H       2, DeMorgan's (DeM)
4.:: ~J          Conditional proof (CP), assumption #1
5.::  ~H         4,1  Modus Tollens (MT), end case #1
6.::  ~H         Conditional proof, assumption #2, end case #2 (tautology ~H —> ~H)
7.  (~J v ~H)   —> ~H    End CP, Proof by Cases (PBC)   (if  ~J or ~H  we can conclude ~H)
8.  ~(J & H)  —> ~H      7, DeM
9.  ~H                   2,8  Modus Ponens (MP)


Other approaches may be possible.

RELATED QUESTIONS

Two step proof: 1. (H v I) > J 2. H / J (answered by Edwin McCravy)
Two step proof: 1. (H * I) > J 2. H 3. I / J (answered by Edwin McCravy)
(G&H)>(J<>L) G<>H (H&~L)v(H&K) Conclusion: J>K Can somebody please help me with... (answered by Edwin McCravy)
I need some help with this question. I am confused as to how to write this out, please... (answered by jim_thompson5910)
Determine the expression for {{{ (h * j) }}}. {{{ h(x) = sqrt (x^2-1) }}} {{{ j(x) =... (answered by Fombitz)
1. (G->J)->(G->Q) 2. J*~Q... (answered by jim_thompson5910)
I need help annotating this proof because I really dont understand. 1. ~H ∨ F (answered by Edwin McCravy)
I'm very confused on this proof, could anybody help me out? 1. F > (H & J) 2. ~H v... (answered by jim_thompson5910)
Could you please help me construct a proof for this problem? 1. (G -> H) -> J (answered by jim_thompson5910)