Wikipedia-logo-v2.svg
Wikipedia har en artikel om:
omm

SvenskaRedigera

FörkortningRedigera

omm (konjunktionsfras)

  1. (matematik, logik) förkortning för och utläses som om och endast om

AnvändningRedigera

I texter brukar "omm" användas oftare än "om och endast om".  

Omm sammanbinder två påståenden med samma sanningsvärde, betecknar satslogisk ekvivalens och kan även betecknas med ett -tecken, så kallad dubbel implikation. används istället då satsen med ↔ är en tautologi, det vill säga att den gäller oavsett sanningsvärdet på de satser som satsen består av. ⇔ betecknar också satslogisk ekvivalens då två satser är satslogiska konsekvenser av varandra.

ÖversättningarRedigera