Från Rilpedia

Om och endast om, förkortat omm, är ett uttryck som är vanligt inom matematik och logik. ”A om och endast om B” innebär att A och B är ekvivalenta, och såväl att A följer B som att B följer A. Inom matematiken säger man att B är ett nödvändigt och tillräckligt krav för A.

Inom matematiken används även symbolen :

Till exempel gäller att

,

vilken kan utläsas "a − b = c om och endast om a = b + c" eller "a − b = c är ekvivalent med att a = c + b".

Exempel

Uttrycket 1 + 1 = 2 om, och endast om, 1 = 2 − 1 betyder två saker:

1. Om 1 + 1 = 2, så är 1 = 2 − 1.
2. Om 1 = 2 − 1, så är 1 + 1 = 2.

Se även

• Ekvivalens
• Implikation
• Konjunktion
• Disjunktion
• Negation