Biimplikation: Forskelle mellem versioner

Content deleted Content added
m småtilføj
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 opranderneoperanderne udtrykker det samme [[fænomen]] på forskellige måder.
 
== Biimplikation i matematik ==