omm
Svenska redigera
Förkortning redigera
omm (konjunktionsfras)
- (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.