Logisk konnektiv: Forskelle mellem versioner
Content deleted Content added
Zotur (diskussion | bidrag) No edit summary |
Glenn (diskussion | bidrag) m +{{Uddybende|Biimplikation}} |
||
Linje 128:
== Biimplikation <math>\Leftrightarrow</math>==
{{Uddybende|Biimplikation}}
'''Biimplikation''' er et logisk konnektiv, som knytter 2 udsagn sammen. Biimplikation har værdien sand, når og kun når begge udsagn er sande eller begge er falske. Hvis de to udsagn har forskellig sandhedsværdi, vil det samlede udtryk være falsk. På dansk udtrykkes biimplikation med udtryk som ''ensbetydende med'', ''hvis og kun hvis'' eller ''netop hvis''.
| |||