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

нема опису редагування
м (інтервікі)
Немає опису редагування
/>представляють '''тоді і тільки тоді'''.</div></div>
 
ВУ [[логіка|логіці]] і пов'язаних галузях, таких як [[математика]] та [[філософія]], '''тоді і тільки тоді''' (скорочено '''ттт''')&nbsp;— [[еквіваленція|двоумовний]] [[логічний сполучник]] між твердженнями. Сполучник можна уподобити до звичайної [[імплікація|імлікації]] ("«тільки якщо"» те саме, що "«якщо ... тоді"»), поєднаної зі своєю оберненою; звідси й ім'я. Отримуємо, що істинність одного елемента з пов'язаних тверджень вимагає істинності іншого, тобто, або обидва істинні, або хибні.
 
Часто використовуються, зі спірною правильністю, альтернативи до "«тоді і тільки тоді"»&nbsp;— ''Q ' [[Необхідна і достатня умова|необхідно і достатньо]] для P'', ''P еквівалентне до Q'' (порівняйте з [[імплікація|імплікацією]]).
 
В формулах [[Математична логіка|математичної логіки]], використовують логічні символи замість фрази.
 
== Визначення ==
 
[[Таблиця істинності]] для ''p ↔ q'' така:<ref>[http://www.wolframalpha.com/input/?i=p+%3C%3D%3E+q p <=> q].&#32;</ref>
{| class = "wikitable"
 
== Примітки ==
 
{{reflist}}