Biimplikation: Forskelle mellem versioner

Content deleted Content added
m småtilføj
m wiki
Linje 2:
'''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'''''), '''hviss''', '''når og kun når''', '''netop hvis''', '''netop når''' og '''ensbetydende med''',. Biimplikation kan skrives med symbolerne "<math> \Leftrightarrow </math>", "↔" eller "≡".
 
I logik skrives en biimplikation