Тоді й лише тоді: відмінності між версіями

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

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