omm

Wikipedia har en artikel om:
omm

Svenska

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

om och endast om

• bokmål: hviss ^(no), omm ^(no)
• engelska: iff ^(en)
• esperanto: s.n.s.
• finska: joss ^(fi)
• franska: ssi ^(fr)
• kroatiska: akko
• nederländska: desda
• portugisiska: sse
• tyska: gdw.
• ungerska: acsa