Definition från Wiktionary, den fria ordlistan.
Hoppa till navigering Hoppa till sök

Tvärspråkligt

[redigera]

Tecken

[redigera]
U+21D4
LEFT RIGHT DOUBLE ARROW

  1. dubbelstreckad pil åt vänster och åt höger
    1. (matematik) ekvivalenspil, är ekvivalent med, om och endast om (omm); om påståendet till vänster om tecknet är sant, så är även påståendet till höger om tecknet sant, och tvärtom; en dubbel implikation
    2. (logik) betecknar satslogisk ekvivalens då satsen är en tautologi, det vill säga att den gäller oavsett sanningsvärdet på de satser som satsen består av; betecknar satslogisk ekvivalens då två satser är satslogiska konsekvenser av varandra
Indragna rader ovanför strecket gäller en särskild definition. Eventuella rader närmast nedan kan gälla en eller flera av definitionerna ovan.
Se även: , , ; även , ,