Dan en slechts dan als: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
k Standaard afkorting voor "als en slechts als" is asa, niet aesa. (Zie Deel 1 van Johan Wansinks Didactische oriëntatie voor wiskundeleraren) |
||
Regel 1:
'''Dan en slechts dan als''' (afkorting: '''desda''') is in de [[wiskunde]] en in de [[logica (wetenschap)|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: '''
<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.
|