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

## Also denoted as

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