Biimplikation: Forskelle mellem versioner
Content deleted Content added
Glenn (diskussion | bidrag) flytter sætning op; flytter afsnit ned |
Glenn (diskussion | bidrag) m småtilføj |
||
Linje 10:
Biimplikation er [[Transitiv (matematik)|transitiv]]. Dvs hvis ''P'' <math>\Leftrightarrow</math> ''Q'' og ''Q'' <math>\Leftrightarrow</math> ''W'' gælder ''P'' <math>\Leftrightarrow</math> ''W''.
Biimplikation bliver også skrevet som fraserne '''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 "'''≡'''".
==Definition==
|