Definition:Because

Definition
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$.

Some older literature uses the symbol $\because$ but this is falling out of use.

Also see

 * Therefore
 * Interderivable (Logical Equivalence)
 * Conditional
 * Biconditional