Biimplikation: Forskelle mellem versioner
Content deleted Content added
Glenn (diskussion | bidrag) m småtilføj |
Glenn (diskussion | bidrag) m stavning |
||
Linje 5:
og læses: ''Det er tilfældet at P hvis og kun hvis det er tilfældet at Q''. Det skal således forstås at P gælder kun hvis Q gælder men samtidigt også omvendt at Q gælder kun hvis P gælder.
Operanderne P og Q siges at være ''ækvivalente'' (eller logisk ækvivalente); i matematikken betyder det at
== Biimplikation i matematik ==
|