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.

[redigér] Se også

organisation