Proofs:Contraposition

Let $P$ and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Q } be propositions such that $P\implies Q$. Then, the contrapositive of the conditional statement "$P\implies Q$" (read as "if P, then Q" or "P implies Q") is "<math> \neg Q \implies \neg P </math (read as "if not Q, then not P" or "not Q implies not P">.