\begin{definition}[Definition:If]
To say that:
:a statement $p$ is true '''if''' $q$ is true
...is to say that $p$ is a necessary condition for $q$:
:$p \ \text{if} \ q \dashv \vdash q \implies p$
\end{definition}