Question for proof using rules of derivation?

Question

How would I prove the following ???

A=>C, A=>~C |- ~A

I think all I need are the rule of assumption, rule of modus ponendo ponens (MPP), rule of modus tollendo tollens (MTT), and maybe the Double Negation rule.

Answer 1

I'm sorry. I've never studied it. But if you have not seen these, maybe they will help you.

http://people.umass.edu/gmhwww/310/pdf/r...

http://www.informatik.htw-dresden.de/~lo...

http://www.informatik.htw-dresden.de/~lo...

http://www.philosophyprofessor.com/philo...