Definition:Because

If statement $$p$$ logically implies statement $$q$$, then we may say "$$q$$, because $$p$$."

The symbology "$$r \dashv p, q$$" means: "Given as premises $$p$$ and $$q$$, we may validly conclude $$r$$," or "$$r$$, because $$p$$ and $$q$$."

Thus the symbol $$\dashv$$ is interpreted to mean because. Thus, $$r \dashv p, q$$ reads as: "$$r$$, because $$p$$ and $$q$$."

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