\section{Rule of Transposition/Formulation 1/Proof 1}
Tags: Rule of Transposition

\begin{theorem}
:$p \implies q \dashv \vdash \neg q \implies \neg p$
\end{theorem}

\begin{proof}
=== [[Rule of Transposition/Formulation 1/Forward Implication/Proof|Proof of Forward Implication]] ===
{{:Rule of Transposition/Formulation 1/Forward Implication/Proof}}
=== [[Rule of Transposition/Formulation 1/Reverse Implication/Proof|Proof of Reverse Implication]] ===
{{:Rule of Transposition/Formulation 1/Reverse Implication/Proof}}
\end{proof}


{"config": "wiki", "file": "thm_6407.txt"}