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

правопис, вікіфікація
м (Olvin перейменував сторінку з Тоді і лише тоді на Тоді й лише тоді: За правописом має бути чергування "і-й")
(правопис, вікіфікація)
<big><big><big><big><big>↔<!-- Unicode 2194 -->
⇔<!-- Unicode 21d4 -->
≡<!-- Unicode 2261, "«Identical to"» --></big></big></big></big></big>
<div style="line-height: 120%; text-align: left">символи, що позначають <br/>'''тоді і тільки тоді'''.</div></div>
 
У [[логіка|логіці]] й пов'язаних галузях, таких як [[математика]] та [[філософія]], '''тоді й лише тоді'''&nbsp;— [[еквівалентність|двоумовний]] [[логічний сполучник]] між твердженнями. Сполучник можна порівняти зі звичайною [[імплікація|імлікацієюімплікацією]] («тільки якщо» те саме, що «якщо … тоді»), поєднаною зі своєю оберненою, звідси й назва. Істинність одного елемента з пов'язаних тверджень вимагає істинності іншого, тобто, або обидва &nbsp;— істинні, або обидва &nbsp;— хибні.
 
Часто вживається, зі спірною правильністю, альтернативи до «тоді й лише тоді»&nbsp;— ''Q [[Необхідна йі достатня умова|необхідно й достатньо]] для P'', ''P еквівалентне до Q'' (порівняйте з [[імплікація|імплікацією]]).
 
У формулах [[Математична логіка|математичної логіки]], замість фрази вживають відповідні символи.
[[Таблиця істинності]] для ''p ↔ q'' така<ref>[http://www.wolframalpha.com/input/?i=p+%3C%3D%3E+q p <=> q]. </ref>:
{| class = "wikitable"
|+ '''ТттТоді й лише тоді'''
|-
! style="width: 30%" | p