Dan en slechts dan als: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k robot Erbij: lmo:Si e noma si |
Geen bewerkingssamenvatting |
||
Regel 1:
'''Dan en slechts dan als''' (afkorting: '''desda''') is in de [[wiskunde]] en in de [[logica]] een algemeen gebruikte uitdrukking om '''equivalentie''' van twee uitspraken aan te geven. Varianten zijn onder andere '''bi-implicatie''', '''wederzijdse implicatie''', '''dan en alleen dan als''' en ''P'' is '''[[noodzakelijke en voldoende voorwaarde|nodig en voldoende]]''' voor ''Q'' (als alternatief voor ''P'' dan en slechts dan als ''Q''). Het symbool voor `dan en slechts dan als' is <math>\Leftrightarrow</math>.
Equivalente uitdrukkingen: '''asa''' (het in België meer gebruikte '''als en slechts als'''), '''aeaa''' (als en alleen als). In Engelstalige literatuur gebruikt men de uitdrukking ''iff'' (voor ''if and only if''), in [[Fries (taal)|Fries]]talige literatuur ''aaa'' (''as en allinnich as'').
<math>P\Leftrightarrow Q</math> betekent: ''P'' is waar dan en slechts dan als ''Q'' waar is. Een andere manier om hetzelfde te zeggen is: óf ''P'' en ''Q'' zijn allebei waar, óf ''P'' en ''Q'' zijn allebei onwaar.
| |||