Triple bar

Matematikk og filosofirediger

i logikk brukes den med to forskjellige, men beslektede betydninger. Det kan referere til hvis og bare hvis binde, også kalt materialekvivalens. Dette er en binær operasjon hvis verdi er sant når de to argumentene har samme verdi som hverandre. Alternativt kan det i noen tekster brukes ⇔ med denne betydningen, mens ≡ brukes til det høyere metalogiske begrepet logisk ekvivalens, i henhold til hvilke to formler er logisk ekvivalente når alle modeller gir dem samme verdi. Gottlob frege brukte en trippelstang for en mer filosofisk oppfatning av identitet, hvor to utsagn (ikke nødvendigvis i matematikk eller formell logikk) er identiske hvis de fritt kan erstattes av hverandre uten endring av mening.

i matematikk brukes trippellinjen noen ganger som et symbol på identitet eller en ekvivalensrelasjon (selv om den ikke er den eneste; andre vanlige valg inkluderer ~ og ≈). Spesielt i geometri kan det brukes enten for å vise at to figurer er kongruente eller at de er identiske. I tallteori har den blitt brukt fra Og Med Carl Friedrich Gauss (som først brukte den med denne betydningen i 1801) for å bety modulær kongruens: en ≡ b ( mod N ) {\displaystyle a\equiv b{\pmod {N}}}

a \equiv b \pmod N

Hvis N deler a − b. den brukes også til «identisk likestilling» av funksjoner; en skriver f ≡ g {\displaystyle f\Equiv G}

f \equiv g

for to funksjoner f, g hvis vi har f ( x ) = g ( x ) {\displaystyle f(x)=g(x)}

f(x) = g(X)

for alle x.

i kategoriteori kan trippelstenger brukes til å koble objekter i et kommutativt diagram, noe som indikerer at de faktisk er det samme objektet i stedet for å være forbundet med en pil i kategorien.

dette symbolet brukes også noen ganger i stedet for et likhetstegn for ligninger som definerer symbolet på venstre side av ligningen, for å kontrastere dem med ligninger der vilkårene på begge sider av ligningen allerede var definert. En alternativ notasjon for denne bruken er å skrive bokstavene «def» over et ordinært likhetstegn, a = d e f b {\displaystyle a{\overset {\underset {\mathrm {def} }{}}{=}}b}

{\displaystyle a{\overset {\mathrm {def}} {}} {=}} b}

.

ScienceEdit

i botanisk nomenklatur betegner trippellinjen homotypiske synonymer (de som er basert på samme typeprøve), for å skille dem fra heterotypiske synonymer (de som er basert på forskjellige typeprøver), som er merket med et likhetstegn.

i kjemi kan trippelstangen brukes til å representere en trippelbinding mellom atomer. FOR EKSEMPEL ER HC≡CH en vanlig forkortelse for acetylen (systematisk navn: ethyne).

Applikasjonsdesignrediger

Se også: Hamburgerknapp

i mobil -, web-og generell applikasjonsdesign brukes et lignende symbol noen ganger som et grensesnittelement, der det kalles et hamburgerikon. Elementet indikerer vanligvis at en navigasjonsmeny kan nås når elementet er aktivert; stolpene i symbolet kan ses som stiliserte menyelementer, og noen variasjoner av disse symbolene legger til flere stolper, eller punktpunkter til hver stolpe, for å forbedre denne visuelle likheten. Bruken av dette symbolet går tilbake til de tidlige datamaskingrensesnittene som ble utviklet På Xerox PARC på 1980-tallet. det ligner også ikonet som ofte brukes til å indikere rettferdig tekstjustering. Det er en ofte brukt del Av Googles Retningslinjer For Materialdesign, og Mange Android-apper og nettapper som følger disse retningslinjene, bruker hamburgermenyen.

Related Posts

Legg igjen en kommentar

Din e-postadresse vil ikke bli publisert. Obligatoriske felt er merket med *