\begin{definition}[Definition:Because]
If statement $p$ logically implies statement $q$, then we may say:
: '''$q$, because $p$.'''
The symbol $\dashv$ is interpreted to mean '''because'''.
Thus:
: $r \dashv p, q$
means:
:'''Given as premises $p$ and $q$, we may validly conclude $r$'''
or
:'''$r$, because $p$ and $q$.'''
\end{definition}