PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: Very high
[parent] therefore sign (Definition)

The therefore sign ``$\therefore$ ' is used especially in handwritten mathematical text as a shorthand of the word `therefore' or `thus', between some sentences or relations: $$S_1 \quad \therefore \; S_2$$ It expresses that $S_2$ has been inferred from $S_1$ or from $S_1$ and some preceding facts. The sign is rather a punctuation mark than a symbol of logical implication. Grammatically, it could be characterised a conclusive coordinating conjunction. The usage of the symbol is not mathematically well-defined, and it often means `we can conclude in context' or `we can conclude from statements already shown or assumed to be true'.

For example, in determining an angle of a right triangle, one may write $$\sin\alpha = \frac{1}{2} \quad \therefore \; \alpha = 30^\circ$$ Here, ``$\therefore$ ' does not represent a proper implication ``$\Rightarrow$ ', since the exact implication here would be $$\sin\alpha = \frac{1}{2} \;\, \Leftarrow \;\, \alpha = 30^\circ.$$ To obtain a strict implication, we would need to introduce some of the context. For instance, we know that, since $\alpha$ is an angle of a right triangle, $0^\circ \le \alpha \le 90^\circ$ so what we wrote could be interpreted as the implication $$\sin\alpha = \frac{1}{2} \; \land \; 0^\circ \le \alpha \le 90^\circ \;\, \Rightarrow \;\, \alpha = 30^\circ.$$




Anyone with an account can edit this entry. Please help improve it!

"therefore sign" is owned by pahio. [ full author list (2) ]
(view preamble | get metadata)

View style:

See Also: rings of rational numbers, logarithmic scale


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: strict, implication, right triangle, angle, well-defined, logical implication, relations
There is 1 reference to this entry.

This is version 5 of therefore sign, born on 2008-03-20, modified 2008-03-29.
Object id is 10425, canonical name is ThereforeSign.
Accessed 1591 times total.

Classification:
AMS MSC00A05 (General :: General and miscellaneous specific topics :: General mathematics)
 00A06 (General :: General and miscellaneous specific topics :: Mathematics for nonmathematicians )

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)