Triple bar

matematik och filosofiedit

i logik används den med två olika men relaterade betydelser. Det kan hänvisa till if och only if connective, även kallad materialekvivalens. Detta är en binär operation vars värde är sant när dess två argument har samma värde som varandra. Alternativt, i vissa texter används kubi med denna betydelse, medan kubi används för den metalogiska uppfattningen om logisk ekvivalens på högre nivå, enligt vilken två formler är logiskt ekvivalenta när alla modeller ger dem samma värde. Gottlob Frege använde en trippelstång för en mer filosofisk identitetsbegrepp, där två uttalanden (inte nödvändigtvis i matematik eller formell logik) är identiska om de fritt kan ersättas med varandra utan meningsförändring.

i matematik används trippelfältet ibland som en symbol för identitet eller en ekvivalensrelation (även om det inte är den enda; andra vanliga val inkluderar ~ och kub). Särskilt i geometri kan den användas antingen för att visa att två figurer är kongruenta eller att de är identiska. I talteori har den använts från och med Carl Friedrich Gauss (som först använde den med denna betydelse 1801) för att betyda modulär kongruens: a kubi b ( mod N ) {\displaystyle a\equiv b{\pmod {n}}}

a \equiv b \pmod n

om N Delar a − b. det används också för ”identisk jämlikhet” av funktioner; man skriver f ci g {\displaystyle F\equiv g}

f \equiv g

för två funktioner f, g Om vi har f ( x ) = g ( x ) {\displaystyle F(X)=g(x)}

f(x) = g(x)

för alla X.

i kategoriteori kan trippelstänger användas för att ansluta objekt i ett kommutativt diagram, vilket indikerar att de faktiskt är samma objekt snarare än att vara anslutna med en pil i kategorin.

denna symbol används också ibland i stället för ett likhetstecken för ekvationer som definierar symbolen på vänster sida av ekvationen, för att kontrastera dem med ekvationer där termerna på båda sidor av ekvationen redan definierades. En alternativ notering för denna användning är att skriva bokstäverna ”def” ovanför ett vanligt jämställdhetsskylt, a = d e f b {\displaystyle a{\overset {\underset {\mathrm {Def} }{}}{=}}b}

{\displaystyle a{\overset {\underset {\mathrm {Def} }{}}{=}}b}

.

ScienceEdit

i botanisk nomenklatur betecknar trippelfältet homotypiska synonymer (de baserade på samma typprov) för att skilja dem från heterotypiska synonymer (de baserade på olika typprover), som är markerade med ett likhetstecken.

i kemi kan trippelstången användas för att representera en trippelbindning mellan atomer. Till exempel, HC-CH är en vanlig stenografi för acetylen (systematiskt namn: etyn).

Application designEdit

se även: Hamburger button

i mobil -, webb-och allmän applikationsdesign används ibland en liknande symbol som ett gränssnittselement, där det kallas en hamburgerikon. Elementet indikerar vanligtvis att en navigeringsmeny kan nås när elementet är aktiverat; staplarna på symbolen kan ses som stiliserade menyalternativ, och vissa variationer av dessa symboler lägger till fler staplar eller punktpunkter i varje stapel för att förbättra denna visuella likhet. Användningen av denna symbol går tillbaka till de tidiga datorgränssnitt som utvecklades på Xerox PARC på 1980-talet. det liknar också ikonen som ofta används för att indikera motiverad textjustering. Det är en ofta använd komponent i Googles riktlinjer för materialdesign och många Android-appar och webbappar som följer dessa riktlinjer använder hamburgermenyn.

Related Posts

Lämna ett svar

Din e-postadress kommer inte publiceras. Obligatoriska fält är märkta *