SOLUTION: I need some help with this question. I am confused as to how to write this out, please show me how you get to each step. Regular Proof: 1.(D*E)v(~D*~E) 2.(H*J)>~(D=E) 3.~~H

Algebra ->  Proofs -> SOLUTION: I need some help with this question. I am confused as to how to write this out, please show me how you get to each step. Regular Proof: 1.(D*E)v(~D*~E) 2.(H*J)>~(D=E) 3.~~H      Log On


   

Question 1091271: I need some help with this question. I am confused as to how to write this out, please show me how you get to each step.
Regular Proof:
1.(D*E)v(~D*~E)
2.(H*J)>~(D=E)
3.~~HvJ / J=~H
Thanks!
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!

Note: I'm using the ampersand symbol & in place of the asterisk

This is one way to do the derivation
NumberStatementLines UsedReason
1(D & E) v (~D & ~E)
2(H & J) > ~(D = E)
3~~H v J
:.J = ~H
4~H > J3Material Implication
5D = E1Material Equivalence
6~~(D = E)5Double Negation
7~(H & J)2,6Modus Tollens
8~H v ~J7De Morgan's Law
9~J v ~H8Commutation
10~~J > ~H9Material Implication
11J > ~H10Double Negation
12(J > ~H) & (~H > J)11,4Conjunction
13J = ~H12Material Equivalence