Symbols:Symbolic Logic/Deprecated Symbols/Therefore

Deprecated Symbol for Therefore

$\therefore$

Therefore

If statement $p$ logically implies statement $q$, then we may say:

$p$, therefore $q$

and denote it:

$p \therefore q$

An alternative to $p \vdash q$, the preferred notation on $\mathsf{Pr} \infty \mathsf{fWiki}$.

The $\LaTeX$ code for \(p \therefore q\) is p \therefore q .

Also see

• Symbols:Symbolic Logic/Therefore

Sources

• 1964: Donald Kalish and Richard Montague: Logic: Techniques of Formal Reasoning ... (previous) ... (next): $\text{I}$: 'NOT' and 'IF': $\S 3$