Jump to navigation Jump to search
- $q$, because $p$.
The symbol $\dashv$ is interpreted to mean because.
- $r \dashv p, q$
- Given as premises $p$ and $q$, we may validly conclude $r$
- $r$, because $p$ and $q$.
Also denoted as
Some older literature uses the symbol $\because$ but this is falling out of use.
- Definition:Logical Implication
- Definition:Logical Equivalence