Definition:Therefore/Also known as

From ProofWiki
Jump to navigation Jump to search

Therefore: Also known as

The symbol $\vdash$ for therefore is sometimes called the turnstile symbol (or gatepost, or gate post), and is often (misleadingly) called the assertion sign.

This is sometimes hyphenated: assertion-sign.


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

In contrast to $\vdash$, which is a formal symbol used in proof writing, the $\therefore$ symbol is generally used as shorthand for therefore, and as such is traditionally classified as a punctuation mark.


Also see


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Therefore/Also_known_as&oldid=649510"