ekvivalens

i formell logik: av två påståenden är antingen båda två sanna eller båda två falska. Detta kallas också för materiell ekvivalens. Varför de två påståendena har samma sanningsvärde spelar ingen roll. De behöver inte säga samma sak. Med logiska symboler skrivs det A⇔B, A≣B (tecknet har tre streck) eller A↔B, vilket kan utläsas ”A är sant om och bara om B också är sant”. På engelska förekommer benämningen if and only if, vilket ofta för­kortas IFF. På svenska före­kommer också förkortningen OMM. Se också XNOR. – Materiell ekvi­valens bör skiljas från logisk ekvivalens, som innebär att två på­stå­enden säger samma sak. – En sanningsvärdetabell för materiell ekvivalens ser ut så här:

– Antingen är båda påståendena A och B sanna eller också är båda falska (A≣B) :

[logik] [programmering] [ändrad 4 april 2017]