« Par conséquent » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
Ligne 11 : | Ligne 11 : | ||
}} |
}} |
||
En [[typographie]], '''par conséquent''' « '''{{Triponctuation}}''' » est un [[symbole]], couramment employé en mathématique dans les îles britanniques<ref name="cajori">{{en}} [[Florian Cajori]], {{lang|en|''A History of Mathematical Notations''}}, [[Dover Publications]], {{abréviation discrète|rééd.|réédition}} 1993, 1928-1929. {{ISBN|0486677664}}</ref>, se composant de trois [[Point (signe)|points]] placés en [[triangle]] pointant vers le haut, forme [[sténographie|sténographique]] de « donc ». C’est le caractère U+2234 d’[[Unicode]] : « ∴ ». D'autres symboles typographiques sont couramment utilisés pour représenter cette notion ou d'autres notions proches comme celle d'[[implication logique]] : →, ⇒, ⊃, ⊢, |
En [[typographie]], '''par conséquent''' « '''{{Triponctuation}}''' » est un [[symbole]], couramment employé en mathématique dans les îles britanniques<ref name="cajori">{{en}} [[Florian Cajori]], {{lang|en|''A History of Mathematical Notations''}}, [[Dover Publications]], {{abréviation discrète|rééd.|réédition}} 1993, 1928-1929. {{ISBN|0486677664}}</ref>, se composant de trois [[Point (signe)|points]] placés en [[triangle]] pointant vers le haut, forme [[sténographie|sténographique]] de « donc ». C’est le caractère U+2234 d’[[Unicode]] : « ∴ ». D'autres symboles typographiques sont couramment utilisés pour représenter cette notion ou d'autres notions proches comme celle d'[[implication logique]] : →, ⇒, ⊃, ⊢, ⊨… En particulier, ∴ et ⊢ représentent la conséquence '''[[syntaxe|syntactique]]''' (strictement formelle) tandis que ⊨ représente la conséquence '''[[sémantique]]''' (qui dépend de la signification des termes de la proposition). |
||
== Histoire == |
== Histoire == |
Version du 18 février 2016 à 05:39
En typographie, par conséquent « ∴ » est un symbole, couramment employé en mathématique dans les îles britanniques[1], se composant de trois points placés en triangle pointant vers le haut, forme sténographique de « donc ». C’est le caractère U+2234 d’Unicode : « ∴ ». D'autres symboles typographiques sont couramment utilisés pour représenter cette notion ou d'autres notions proches comme celle d'implication logique : →, ⇒, ⊃, ⊢, ⊨… En particulier, ∴ et ⊢ représentent la conséquence syntactique (strictement formelle) tandis que ⊨ représente la conséquence sémantique (qui dépend de la signification des termes de la proposition).
Histoire
Ce signe a été utilisé en premier par le mathématicien suisse Johann Rahn en 1659, dans l’édition originale allemande de son Teutsche Algebra[1].
En franc-maçonnerie
Dans la tradition maçonnique, ce symbole est utilisé à la place du simple point pour signaler une abréviation ; par exemple G∴ O∴ D∴ F∴ pour Grand Orient de France[2].
Articles connexes
Notes et références
- (en) Florian Cajori, A History of Mathematical Notations, Dover Publications, rééd. 1993, 1928-1929. (ISBN 0486677664)
- Lexique maçonnique, Union et Fraternité à l’Orient de Caen.