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.