Tada ir tik tada (teiginys)

Straipsnis iš Vikipedijos, laisvosios enciklopedijos.

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 "≡".