Om och endast om

Från Wikipedia
Hoppa till: navigering, sök

Om och endast om, som kan förkortas med omm, är ett uttryck som förekommer inom matematik och logik. Med p och q som beteckningar för påståenden, är satsen "p om och endast om q", liktydig med att de två påståendena är ekvivalenta. Ett annat sätt att uttrycka detta är att p är ett nödvändigt och tillräckligt villkor för q.

Inom matematiken används ekvivalenssymbolen "⇔" och inom logiken "↔", där båda symbolerna tolkas som materiell ekvivalens.

p ↔ q är liktydig med p → q och q → p, det vill säga en materiell implikation, som går i båda riktningarna.

Om och endast om definieras av samma sanningsvärdetabell som materiell ekvivalens.

Om och endast om
p q
pq
F F S
F S F
S F F
S S S

Exempel[redigera | redigera wikitext]

Påståendet "En triangel är liksidig om och endast om den är likvinklig" kan även skrivas som "Att en triangel är liksidig är ett tillräckligt och nödvändigt villkor för att den skall vara likvinklig".

Påståendet a·b = 0 om och endast om a = 0 eller b = 0, betyder således att

om a = 0 eller b = 0, så är a·b = 0 och om a·b = 0, så är a = 0 eller b = 0.

Det så kallade "Tvåkvadratsteoremet" kan formuleras:

Det udda primtalet p kan skrivas som summan av två kvadrater om och endast om p kan skrivas på formen 4n + 1.




Källor[redigera | redigera wikitext]

  • Logik, filosofi och språk, Georg Henrik von Wright, Aldus Stockholm 1957.
  • Diskret matematik, Karl-Johan Bäckström, Studentlitteratur 1986.
  • Göran Hermerén, Logik, Studentlitteratur Lund 1965.

Se även[redigera | redigera wikitext]

Venn A intersect B.svg Matematikportalen – portalen för matematik på svenskspråkiga Wikipedia.