omm

Förkortning

omm (konjunktionsfras)

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

Användning

I texter brukar "omm" användas oftare "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.

om och endast om
  • engelska: iff (en)
  • esperanto: s.n.s.
  • finska: joss (fi)
  • franska: ssi (fr)
  • nederländska: desda
  • portugisiska: sse
  • ungerska: acsa
Wikipedia-logo-v2.svg
Wikipedia har en artikel om: omm