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

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

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

== Визначення ==