Biimplikation: Forskelle mellem versioner
Content deleted Content added
Glenn (diskussion | bidrag) m småtilføj |
Glenn (diskussion | bidrag) m +symbol |
||
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 '''dobbelt implikation''', '''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
|