Om och endast om
uttryck inom matematik och logik / From Wikipedia, the free encyclopedia
Om och endast om (förkortat omm) är ett uttryck som förekommer inom matematik och logik. Med och som beteckningar för påståenden, är satsen " om och endast om ", liktydig med att de två påståendena är ekvivalenta. Ett annat sätt att uttrycka detta är att är ett nödvändigt och tillräckligt villkor för .
Inom matematiken används ekvivalenssymbolen "" och inom logiken "", där båda symbolerna tolkas som materiell ekvivalens.
- är liktydig med och , 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.
Mer information , ...
F | F | S |
F | S | F |
S | F | F |
S | S | S |
Stäng