In
logical argument
An argument is a series of Sentence (linguistics), sentences, Statement (logic), statements, or propositions some of which are called premises and one is the Logical consequence, conclusion. The purpose of an argument is to give Reason (argument) ...
and
mathematical proof
A mathematical proof is a deductive reasoning, deductive Argument-deduction-proof distinctions, argument for a Proposition, mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use othe ...
, the therefore sign, , is generally used before a
logical consequence
Logical consequence (also entailment or logical implication) is a fundamental concept in logic which describes the relationship between statement (logic), statements that hold true when one statement logically ''follows from'' one or more stat ...
, such as the conclusion of a
syllogism
A syllogism (, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true.
In its earliest form (defin ...
. The symbol consists of three dots placed in an upright triangle and is read ''therefore''. While it is not generally used in formal writing, it is used in
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
and
shorthand
Shorthand is an abbreviated symbolic writing method that increases speed and brevity of writing as compared to Cursive, longhand, a more common method of writing a language. The process of writing in shorthand is called stenography, from the Gr ...
.
History
According to
Florian Cajori
Florian Cajori (February 28, 1859 – August 14 or 15, 1930) was a Swiss-American historian of mathematics.
Biography
Florian Cajori was born in Zillis, Switzerland, as the son of Georg Cajori and Catherine Camenisch. He attended schools firs ...
in ''
A History of Mathematical Notations
''A History of Mathematical Notations'' is a book on the history of mathematics and of mathematical notation. It was written by Swiss-American historian of mathematics Florian Cajori (1859–1930), and originally published as a two-volume set by ...
,'' the Swiss mathematician
Johann Rahn
Johann Rahn (Latinised form Rhonius) (10 March 1622 – 25 May 1676) was a Swiss mathematician who is credited with the first use of the division sign, ÷ (a repurposed obelus
An obelus (plural: obeluses or obeli) is a term in codicology ...
used both an upright and an inverted triangle of dots to mean ''therefore''. In the German edition of ''Teutsche Algebra'' (1659), he used the upright triangle with its modern meaning, but in the 1668 English edition Rahn used the inverted triangle more often to mean 'therefore'. Other authors in the 18th century also used three dots in a triangle shape to signify 'therefore', but as with Rahn, there was little consistency as to how the triangle was oriented. Use of an upright triangle exclusively to mean ''therefore'' (and an inverted
triangle exclusively to mean ''because'') appears to have originated in the 19th century. In the 20th century, the three-dot notation for 'therefore' became very rare in continental Europe, but it remains popular in
Anglophone
The English-speaking world comprises the 88 countries and territories in which English is an official, administrative, or cultural language. In the early 2000s, between one and two billion people spoke English, making it the largest language ...
countries.
Examples of use
Used in a
syllogism
A syllogism (, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true.
In its earliest form (defin ...
:
:All gods are immortal.
:
Zeus
Zeus (, ) is the chief deity of the List of Greek deities, Greek pantheon. He is a sky father, sky and thunder god in ancient Greek religion and Greek mythology, mythology, who rules as king of the gods on Mount Olympus.
Zeus is the child ...
is a god.
:∴ Zeus is immortal.
and in mathematics:
:
:
Other uses
In meteorology, the therefore sign is used to indicate "moderate rain" on a
station model
In meteorology, station models are symbolic illustrations showing the weather occurring at a given Weather station, reporting station. Meteorologists created the station model to fit a number of weather elements into a small space on weather maps. ...
; the similar
typographic
Typography is the art and technique of arranging type to make written language legible, readable and appealing when displayed. The arrangement of type involves selecting typefaces, point sizes, line lengths, line spacing, letter spacin ...
symbol
asterism (⁂, three
asterisk
The asterisk ( ), from Late Latin , from Ancient Greek , , "little star", is a Typography, typographical symbol. It is so called because it resembles a conventional image of a star (heraldry), heraldic star.
Computer scientists and Mathematici ...
s) indicates moderate snow.
Freemasonry
In
Freemasonry
Freemasonry (sometimes spelled Free-Masonry) consists of fraternal groups that trace their origins to the medieval guilds of stonemasons. Freemasonry is the oldest secular fraternity in the world and among the oldest still-existing organizati ...
traditions, the symbol is used to indicate
a Masonic abbreviation (rather than the
period mark used conventionally with some abbreviations). For example, "R∴W∴ John Smith" is an abbreviation for "Right Worshipful John Smith" (the term Right Worshipful is an honorific and indicates that Smith is a Grand Lodge officer).
Unicode
The symbol has a Unicode
code point
A code point, codepoint or code position is a particular position in a Table (database), table, where the position has been assigned a meaning. The table may be one dimensional (a column), two dimensional (like cells in a spreadsheet), three dime ...
at . See
Unicode input for keyboard-entering methods.
LaTeX
One can write the symbol in
LaTeX
Latex is an emulsion (stable dispersion) of polymer microparticles in water. Latices are found in nature, but synthetic latices are common as well.
In nature, latex is found as a wikt:milky, milky fluid, which is present in 10% of all floweri ...
by using the
amssymb
package with the
\therefore
command.
Similar signs
The inverted form, , known as the because sign, is sometimes used as a
shorthand
Shorthand is an abbreviated symbolic writing method that increases speed and brevity of writing as compared to Cursive, longhand, a more common method of writing a language. The process of writing in shorthand is called stenography, from the Gr ...
form of "because".
The character (visarga) in the
Tamil script
The Tamil script ( ) is an abugida script that is used by Tamils and Tamil language, Tamil speakers in India, Sri Lanka, Malaysia, Singapore and elsewhere to write the Tamil language. It is one of the official scripts of the Indian Republic. ...
represents the
āytam, a special sound of the
Tamil language
Tamil (, , , also written as ''Tamizhil'' according to linguistic pronunciation) is a Dravidian language natively spoken by the Tamil people of South Asia. It is one of the longest-surviving classical languages in the world,. "Tamil is one of ...
.
An
asterism, , is a typographic symbol consisting of three
asterisks
The asterisk ( ), from Late Latin , from Ancient Greek , , "little star", is a typographical symbol. It is so called because it resembles a conventional image of a heraldic star.
Computer scientists and mathematicians often vocalize it as ...
placed in a
triangle
A triangle is a polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called ''vertices'', are zero-dimensional points while the sides connecting them, also called ''edges'', are one-dimension ...
. Its purpose is to "indicate minor breaks in text", to call attention to a passage, or to separate sub-chapters in a book. It is also used in
meteorology
Meteorology is the scientific study of the Earth's atmosphere and short-term atmospheric phenomena (i.e. weather), with a focus on weather forecasting. It has applications in the military, aviation, energy production, transport, agricultur ...
to indicate 'moderate snowfall'.
The graphically identical sign serves as a
Japanese map symbol on the maps of the
Geographical Survey Institute of Japan
The , or GSI, is the national institution responsible for surveying and mapping the national land of Japan. The former name of the organization from 1949 until March 2010 was Geographical Survey Institute; despite the rename, it retains the same ...
, indicating a tea plantation. On some maps, a version of the sign with thicker dots, , is used to signal the presence of a
national monument
A national monument is a monument constructed in order to commemorate something of importance to national heritage, such as a country's founding, independence, war, or the life and death of a historical figure. The term may also refer to a sp ...
,
historic site
A historic site or heritage site is an official location where pieces of political, military, cultural, or social history have been preserved due to their cultural heritage value. Historic sites are usually protected by law, and many have been re ...
or
ruins
Ruins () are the remains of a civilization's architecture. The term refers to formerly intact structures that have fallen into a state of partial or total disrepair over time due to a variety of factors, such as lack of maintenance, deliberate ...
; it has its own Unicode code point.
In
Norwegian and
Danish, a superficially similar symbol was formerly used as an explanatory symbol (''forklaringstegnet''). It can be typeset using the
open o
Open o or turned c (majuscule: Ɔ, minuscule: ɔ) is a letter of the extended Latin alphabet. In the International Phonetic Alphabet, it represents the open-mid back rounded vowel. It is used in the orthographies of many African languages using ...
followed by a colon, thus: . It is used for the meaning "namely", (
i.e.), (
viz.
The abbreviation ''viz.'' (or ''viz'' without a full stop) is short for the Latin , which itself is a contraction of the Latin phrase ''videre licet'', meaning "it is permitted to see". It is used as a synonym for "namely", "that is to say", "t ...
) or similar.
See also
*
Q.E.D.
Q.E.D. or QED is an initialism of the List of Latin phrases (full), Latin phrase , meaning "that which was to be demonstrated". Literally, it states "what was to be shown". Traditionally, the abbreviation is placed at the end of Mathematical proof ...
*
List of mathematical jargon
The language of mathematics has a wide vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in ...
References
{{DEFAULTSORT:Therefore Sign
Typographical symbols
Mathematical symbols
Logic symbols
Logical consequence
Dot patterns