SOLUTION: H => J ------- :. ~J => ~H I know to use the box and that there will be a box inside the first box which will include the negation in rule. I'm just not quite sure how they

Algebra ->  Proofs -> SOLUTION: H => J ------- :. ~J => ~H I know to use the box and that there will be a box inside the first box which will include the negation in rule. I'm just not quite sure how they       Log On


   

Question 1006156: H => J
-------
:. ~J => ~H

I know to use the box and that there will be a box inside the first box which will include the negation in rule. I'm just not quite sure how they all go together.
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
I'm not sure what you mean by "box"

Here is how I'd do the proof

NumberStatementLines UsedReason
1H => J
:.~J => ~H
2~H v J1Material Implication
3J v ~H2Commutation
4~~J v ~H3Double Negation
5~J => ~H4Material Implication