Tada ir tik tada (teiginys)
Tada ir tik tada – teiginys, naudojamas matematikos, filosofijos, logikos įrodymuose, kai norima pažymėti būtinąją ir privalomąją sąlygas. Teiginys „P tada ir tik tada, jei Q“ reiškia du teiginius – „jei P, tai Q“ ir „jei Q, tai P“. Dažniausiai teiginiui naudojami žymėjimai – „↔“, „⇔“ ir „≡“.