what is the best way tp approach a proof based on contradiction for the proposition

(( p=> q)^ ~q) => ~p

I would like to learn how best to atack a problem like this - ideally a step by step process so that simillar problems can be solved.

Thanks

Grim