Logiska symboler (kategori)

≣

i logik: tecken för ekvivalens. (Tecknet har tre streck, vilket inte alltid syns på bildskärmen. Om du också här ser ett fjärde, lite längre, streck underst, ignorera det.) – Tecknet ≣ är likvärdigt med tecknen ⇔ och ↔. – Jämför med hamburgarmeny.

[logiska symboler] [tecken] [ändrad 5 mars 2022]

likhetstecken

tecknet =, som utläses ”(är) lika med”. Kallas också för ”likamedtecken”. Förutom i matematik används likhetstecken som logisk symbol för logisk ekvivalens.

[logiska symboler] [tecken] [ändrad 24 augusti 2016]

=

– se likhetstecken. (Ignorera det understa, tunna strecket, om ett sådant visas i din webbläsare. Det ingår inte i tecknet.)

[logiska symboler] [tecken] [ändrad 24 november 2019]

¬

i formell logik: tecken för negation. – ¬A utläses ”icke A” och betyder ”det är inte sant att A”.

[logiska symboler] [tecken] [ändrad 16 augusti 2021]

<

– se mindre än.

[tecken]

∨

logikens tecken för inklusiv disjunktion (eller). – Observera att om du i din webbläsare ser ett streck under det V‑liknande tecknet så hör det inte till tecknet.

[logiska symboler] [tecken] [ändrad 25 november 2019]

∧

logikens tecken för konjunktion (och). Observera att detta tecken står på radens nedre linje, som en bokstav, till skillnad från cirkumflex accent: ^, som är upphöjd.

[logiska symboler] [tecken] [ändrad 15 mars 2023]

→

logikens tecken för implikation (om—så).– Ett pilformat tecken kan givetvis dessutom ha många andra betydelser.

[logiska symboler] [tecken] [ändrad 24 november 2019]

tilde

tecknet ~. – I webbadresser (URL:er) står tilde för en sammandragen URL. På tilde-tecknets plats ska det egentligen stå en rad filnamn, åtskilda av snedstreck. Men dem slipper man alltså att skriva ut. – För att skriva ~ fristående behövs två knapptryckningar: först på tilde‑tangenten (den brukar finnas till höger om Å), sedan på mellanslagstangenten. – Se också dödtangent;

– Egentligen hör tecknet tilde hemma i spanska och portugisiska, där det alltid står över en bokstav: español (spanska för spanska), João (portugisiska för Johan);
– Inom matematik används fristående tilde som tecken för ungefär, men då ska det egentligen placeras i höjd med ett bindestreck. Avancerade ordbehandlare placerar tecknet på olika höjd, beroende på om det är fristående eller står över en bokstav;
– I formell logik kan tilde stå för negation: ~A utläses som icke‑A (”det är inte sant att A”). Ett annat tecken för negation är ¬;
– i nät- och SMS-språk kan tilde före och efter ett ord eller en fras ~så här~ markera sarkasm.

[logiska symboler] [matematik och logik] [nät- och sms-språk] [tecken] [ändrad 17 mars 2022]