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

нема опису редагування
/>представляють '''тоді і тільки тоді'''.</div></div>
 
У [[логіка|логіці]] і пов'язаних галузях, таких як [[математика]] та [[філософія]], '''тоді і тількилише тоді''' (скорочено '''ттт''')&nbsp;— [[еквіваленція|двоумовний]] [[логічний сполучник]] між твердженнями. Сполучник можна уподобити до звичайної [[імплікація|імлікації]] («тільки якщо» те саме, що «якщо … тоді»), поєднаної зі своєю оберненою; звідси й ім'я. Отримуємо, що істинність одного елемента з пов'язаних тверджень вимагає істинності іншого, тобто, або обидва істинні, або хибні.
 
Часто використовуються, зі спірною правильністю, альтернативи до «тоді і тількилише тоді»&nbsp;— ''Q ' [[Необхідна і достатня умова|необхідно і достатньо]] для P'', ''P еквівалентне до Q'' (порівняйте з [[імплікація|імплікацією]]).
 
В формулах [[Математична логіка|математичної логіки]], використовують логічні символи замість фрази.
10 832

редагування