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
nodig en voldoende voor
Q (als alternatief voor
P dan en slechts dan als
Q). Het symbool voor 'dan en slechts dan als' is
. Onder andere in het academisch wiskundemilieu gebruikt men
als en slechts dan als.