Matematyka i filozofiaedit

w logice używa się dwóch różnych, ale pokrewnych znaczeń. Może odnosić się do łącznika wtedy i tylko wtedy, gdy, zwanego również równoważnością materiału. Jest to operacja binarna, której wartość jest prawdziwa, gdy jej dwa argumenty mają taką samą wartość jak każdy inny. Alternatywnie, w niektórych tekstach ⇔ jest używane w tym znaczeniu, podczas gdy ≡ jest używane dla wyższego poziomu metalicznego pojęcia równoważności logicznej, zgodnie z którym dwie formuły są logicznie równoważne, gdy wszystkie modele dają im tę samą wartość. Gottlob Frege użył potrójnego paska dla bardziej filozoficznego pojęcia tożsamości, w którym dwa stwierdzenia (niekoniecznie w matematyce lub logice formalnej) są identyczne, jeśli można je dowolnie zastąpić bez zmiany znaczenia.

w matematyce pręt potrójny jest czasami używany jako symbol tożsamości lub relacji równoważności (choć nie jedyny; inne wspólne wybory to ~ i ≈). Szczególnie w geometrii, może być używany do pokazania, że dwie figury są przystające lub że są identyczne. W teorii liczb, począwszy od Carla Friedricha Gaussa (który po raz pierwszy użył tego znaczenia w 1801 roku) oznacza kongruencję modularną: a ≡ b ( mod n ) {\displaystyle A\equiv B{\pmod {n}}}

jeśli N dzieli A − b. jest również używany do „identycznej równości” funkcji; jeden zapisuje f ≡ g {\displaystyle F\equiv g}

dla dwóch funkcji f, g jeśli mamy F ( X ) = G ( x ) {\displaystyle F(X)=G(x)}

dla wszystkich X.

w teorii kategorii potrójne paski mogą być używane do łączenia obiektów w diagramie przemiennym, wskazując, że są one w rzeczywistości tym samym obiektem, a nie są połączone strzałką kategorii.

Ten symbol jest czasami używany zamiast znaku równości dla równań, które definiują symbol po lewej stronie równania, aby kontrasty z równaniami, w których terminy po obu stronach równania zostały już zdefiniowane. Alternatywną notacją dla tego zastosowania jest wpisanie liter „def” nad zwykłym znakiem równości, a = d E f B {\displaystyle A{\overset {\underset {\mathrm {def} }{}}{=}}b}

.

ScienceEdit

w nomenklaturze botanicznej potrójny pasek oznacza synonimy homotypowe (te oparte na tym samym okazie typu), aby odróżnić je od synonimów heterotypowych (te oparte na różnych okazach typu), które są oznaczone znakiem równości.

w chemii potrójny pasek może być używany do reprezentowania potrójnego wiązania między atomami. Na przykład HC≡CH jest powszechnym skrótem acetylenu (Nazwa systematyczna: ethyne).

projektowanie Aplikacjiedit

w projektowaniu aplikacji mobilnych, internetowych i ogólnych podobny symbol jest czasami używany jako element interfejsu, gdzie nazywany jest ikoną hamburgera. Element zazwyczaj wskazuje, że po aktywacji elementu można uzyskać dostęp do menu nawigacyjnego; paski symbolu mogą być postrzegane jako stylizowane elementy menu, a niektóre odmiany tych symboli dodają więcej pasków lub punktorów do każdego paska, aby zwiększyć to wizualne podobieństwo. Użycie tego symbolu pochodzi z wczesnych interfejsów komputerowych opracowanych w Xerox PARC w latach 80. jest on również podobny do ikony często używanej do wskazywania uzasadnionego wyrównania tekstu. Jest to często używany składnik wytycznych dotyczących projektowania materiałów Google, a wiele aplikacji na Androida i aplikacji internetowych, które postępują zgodnie z tymi wytycznymi, korzysta z menu hamburgera.