The [[02 Areas/Math/Tautology|Tautology]]: $\huge (p \wedge (p \rightarrow q)) \rightarrow q $ $q$ is implied if $p$ [[Conjunction|And]] [[02 Areas/Math/Conditional|If]] $p$ implies $q$. Also denoted as: $\huge \begin{split} p & \\ p \rightarrow q& \\ \hline\\ \therefore q& \end{split} $