Om och endast om
Från Rilpedia
Version från den 20 november 2008 kl. 20.12 av 90.225.112.54 (Diskussion)
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:
- Om 1 + 1 = 2, så är 1 = 2 − 1.
- Om 1 = 2 − 1, så är 1 + 1 = 2.