Biimplikation: Forskelle mellem versioner

'''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''. Biimplikation bliver også skrevet som '''hvis og kun hvis''' (engelsk ''if and only if'' - hyppigt forkortet til '''''iff''''') og '''ensbetydende med''', symbol <math>P \Leftrightarrow Q</math>.