Biimplikation: Forskelle mellem versioner
Content deleted Content added
m robot Tilføjer: zh, pl, he, es, hu, it, et, ja, vi, el, simple, sv, ar, nl, pt, is, eo, ru, tr, ca, mk, fi, uk, fa, bg, ur, hr, lt |
Mgarde (diskussion | bidrag) →Intro: Lidt uddybning + matematik eksempel |
||
Linje 2:
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 hvis kun Q gælder men samtidigt også omvendt at Q gælder hvis kun P gælder.
Operanderne P og Q siges at være ''ækvivalente'' (eller logisk ækvivalente); i matematikken betyder det at opranderne udtrykker det samme [[fænomen]] på forskellige måder.▼
== Biimplikation i matematik ==
Et typisk eksempel på anvendelse af biimplikation er i [[matematik]] for at illustrere at to [[ligning]]er har ækvivalente [[løsningsmængde]]r. F.eks. kan man illustrere at ligningen <math>2x^2 = 8</math> har samme løsningsmængde som <math>x^2 = 4</math> ved at skrive:
: <math>2x^2 = 8 \Leftrightarrow x^2 = 4 \Leftrightarrow x=-2 \text{ eller } x=2</math>.
▲Operanderne P og Q siges at være ''ækvivalente'' (eller logisk ækvivalente); i matematikken betyder det at opranderne udtrykker det samme [[fænomen]] på forskellige måder.
== Se også ==
| |||