Biimplikation
Fra Wikipedia, den frie encyklopædi
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 sandheds værdi. Dette betyder at enten er begge operander sande eller begge falske.
I logik skrives en biimplikation
- P ⇔ Q
og læses: Det er tilfældet at P hvis og kun hvis det er tilfældet at Q.
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.

