Wikipedia har en artikel om:
omm

Svenska redigera

Förkortning redigera

omm (konjunktionsfras)

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

Användning redigera

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ättningar redigera