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

Перейти до навігації Перейти до пошуку
вікіфікація
[неперевірена версія][неперевірена версія]
(Створена сторінка: <div class="infobox" style="border:1px solid #999; background:#fff; margin:0 0 .5em 1em; text-align:center; padding:5px; float:right; clear:right; font-size:smalle...)
 
(вікіфікація)
В [[логіка|логіці]] і пов'язаних галузях таких як [[математика]] та [[філософія]], '''тоді і тільки тоді''' (скорочено '''ттт''')&nbsp;— [[еквіваленція|двоумовний]] [[логічний сполучник]] між твердженнями. Сполучник можна уподобити до звичайної [[імплікація|імлікації]] ("тільки якщо" те саме, що "якщо ... тоді") поєднаної зі своєю оберненою; звідси й ім'я. Отримуємо, що істинність одного елемента з пов'язаних тверджень вимагає істинності іншого, тобто, або обидва істинні, або хибні
 
Часто використовуються, зі спірною правильністю, альтернативи до "тоді і тільки тоді"&nbsp;— ''Q ' [[Необхідна і достанядостатня умова|необхідно і достатньо]] для P'', ''P еквівалентне до Q'' (порівняйте з [[імплікація|імплікацією]]).
 
В формулах [[Математична логіка|математичної логіки]], використовують логічні символи замість фрази.
61 016

редагувань

Навігаційне меню