Biimplikation

Biimplikation er en betegnelse i logik og matematik for et udsagn eller en funktion, der resulterer i værdien sand, når begge operander har samme sandhedsværdi. Dette betyder at enten er begge operander sande eller begge falske.

I logik skrives en biimplikation

$P \Leftrightarrow Q$

og læses: Det er tilfældet at P hvis og kun hvis det er tilfældet at Q. Det skal således forstås at P gælder kun hvis Q gælder men samtidigt også omvendt at Q gælder kun hvis P gælder.

Operanderne P og Q siges at være ækvivalente (eller logisk ækvivalente); i matematikken betyder det at opranderne udtrykker det samme fænomen på forskellige måder.

Biimplikation i matematik

Et typisk eksempel på anvendelse af biimplikation er i matematik for at illustrere at to ligninger har ækvivalente løsningsmængder. F.eks. kan man illustrere at ligningen $2x^2 = 8$ har samme løsningsmængde som $x^2 = 4$ ved at skrive:

$2x^2 = 8 \Leftrightarrow x^2 = 4 \Leftrightarrow x=-2 \text{ eller } x=2$.

Se også

• Logisk operator