discrete mathematics - How to prove $\neg q \rightarrow \neg p \vdash p ...