Versionen fra 10. mar. 2013, 02:43 redigér Addbot (diskussion \| bidrag) Botter 151.154 edits m Bot: Migrerer 31 interwikilinks, som nu leveres af Wikidata på d:q949972 ← Gå til forrige forskel		Versionen fra 17. apr. 2013, 16:52 redigér fjern redigering 188.64.152.198 (diskussion) Rettet formulering til at være korrekt. Gå til næste forskel →
Linje 3: 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 hvis Q gælder men samtidigt også omvendt at Q gælder ~~hvis~~ kun hvis 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: Forskelle mellem versioner