I have a couple of homework problems that I can't get, hopefully one of you enlightened ones can help me.
I have to give proofs of these valid arguments using only the 8 rules of inference (M.P. etc.), and 10 replacement rules(D.N. etc.) :
(1)
1.(A>E)>C
2.C>~C
/A...