Biimplikation: Forskelle mellem versioner
Content deleted Content added
Glenn (diskussion | bidrag) m wiki |
Glenn (diskussion | bidrag) m småtilføj |
||
Linje 6:
I logik skrives en biimplikation
: <math>P \Leftrightarrow Q</math>
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. Det sidste kan skrives med symboler: (Q ⇒ P og P ⇒ Q ) <math>\Leftrightarrow</math> (<math>P \Leftrightarrow Q</math>) .
Operanderne P og Q siges at være ''ækvivalente'' (eller logisk ækvivalente); i matematikken betyder det at operanderne udtrykker det samme [[fænomen]] på forskellige måder.
| |||