Тоді й лише тоді

↔ ⇔ ≡

логічні символи, що
представляють тоді і тільки тоді.

В логіці і пов'язаних галузях таких як математика та філософія, тоді і тільки тоді (скорочено ттт) — двоумовний логічний сполучник між твердженнями. Сполучник можна уподобити до звичайної імлікації ("тільки якщо" те саме, що "якщо ... тоді") поєднаної зі своєю оберненою; звідси й ім'я. Отримуємо, що істинність одного елемента з пов'язаних тверджень вимагає істинності іншого, тобто, або обидва істинні, або хибні

Часто використовуються, зі спірною правильністю, альтернативи до "тоді і тільки тоді" — Q ' необхідно і достатньо для P, P еквівалентне до Q (порівняйте з імплікацією).

В формулах математичної логіки, використовують логічні символи замість фрази.

Визначення

Таблиця істинності для p ↔ q така:

Ттт

p	q	p ↔ q
T	T	T
T	F	F
F	T	F
F	F	T