Why Modus Ponens and Modus Tollens are Valid

We discuss why the classic logical arguments of modus ponens $$P,P\rightarrow Q, Q$$ and modus tollens $$\neg Q, P\rightarrow Q,\neg P$$ are valid forms of argument.