Symbol ∴ () stosowany jest w logice matematycznej i w dowodach matematycznych. Zazwyczaj używa się go przy wnioskowaniu, bezpośrednio przed konkluzją, na przykład przy wniosku sylogizmu. Czytany jest jako „stąd”, „zatem” lub „w związku z tym” ( lub ). Symbol ten jest rzadko spotykany w Europie kontynentalnej, jednak jest powszechnie używany w krajach anglosaskich i anglojęzycznej literaturze naukowej. Kodem tego symbolu w Unicode jest U+2234.
Historia thumb|Teutsche Algebra – pierwsze w historii udokumentowane użycie symbolu ∴ w kontekście wniosku logicznego Pierwszy raz symbol ten pojawił się w druku w 1659 roku, w książce Teutsche Algebra (), której autorem jest Johann Rahn. W swojej pracy Rahn starał się przełożyć algebraiczny dorobek Viète’a i Kartezjusza na język niemiecki. W tym celu stosował liczne skróty notacyjne. Zdefiniował ∴ jako symbol mający nieść znaczenie łacińskiego ergo, czyli „zatem”. Zamiennie do niego używał również ∵, jednak później większość matematyków w tym znaczeniu używała wyłącznie pierwszego ze znaków.
Przykłady użycia Użycie w:
sylogizmie:
logice matematycznej:
matematyce:
Inne zastosowania W tradycji masońskiej symbol ∴ stosuje się jako znak abrewiatury. Stawiany po wielkich literach, bez spacji, sygnalizuje, że litery te stanowią skrót i są inicjałami tytułu masońskiego lub określenia stosowanego w wolnomularstwie.
Przykłady +skrótznaczenieG∴M∴Wielki MistrzG∴L∴Wielka LożaB∴Brat WolnomularzWW∴CC∴BB∴Wielce Czcigodni Bracia WolnomularzeNa W∴ (lub Wsch∴)na Wschodzie Warszawy
Alfabet Braille’a Symbol ∴ występuje w standardzie Braille’a dla języka angielskiego () w dwóch wersjach:
Podobnie wyglądające symbole ∵ (U+2235) również używany jest w logice matematycznej i czytany jest jako ponieważ lub od (); bezramki|22x22px używany jest w meteorologii i oznacza „umiarkowany deszcz”; bezramki|22x22px|alt=Symbol Drizzle używany jest w meteorologii i oznacza „umiarkowana mżawka”; ⁂ (U+2042) używany jest w meteorologii i oznacza „umiarkowany śnieg”; ஃ (U+0B83) w piśmie tamilskim jest znakiem spółgłoskowym o transliteracji ḵ; ⛬ (U+26EC) jest japońskim symbolem mapowym oznaczającym miejsce historyczne.
Przypisy
Bibliografia
Kategoria:Logika matematyczna Kategoria:Oznaczenia matematyczne