Kategori: tecken

i formell logik: tecken för ekvivalens. – Tecknet ↔ är likvärdigt med ⇔ och ≡ (tre vågräta streck), men det kan förekomma specialbetydelser.

[logiska symboler] [ändrad 24 november 2019]

i formell logik: tecken för ekvivalens. Tecknet ⇔ är likvärdigt med ↔ och ≡ (tre vågräta streck).

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

i formell logik: tecken för implikation (om—så). – Tecknet ⇒ är vanligtvis likvärdigt med →, men det kan förekomma att det har specialbetydelser.

[logiska symboler] [tecken] [ändrad 18 december 2018]

i mängdlära: tecken för övermängd (superset). A⊃B betyder att ”A är en (äkta) över­mängd till B”. Med andra ord: ”B är en (äkta) delmängd till A”. Det innebär att mängden A innehåller allt som finns i mängden B och dessutom mer. (”Äkta” i ”äkta delmängd” betyder att de två mängderna inte är identiska.) – I formell logik är A⊃B likvärdigt med A→B, se implikation. (Om du ser ett rakt streck under ⊃ i rubriken, ignorera det.)

[logiska symboler] [tecken] [ändrad 5 april 2017]

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]

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]