Symbols:Symbolic Logic/Therefore

Therefore

$\vdash$

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

$p$, therefore $q$

and denote it:

$p \vdash q$

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

Sources

• 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): turnstile or gatepost
• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): assertion sign
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): assertion sign