Перегляд вихідного коду сторінки Тоді й лише тоді

{{Картка
| стиль_угорі = font-size: 2em;
| угорі = ↔<!-- Unicode 2194 --> ⇔<!-- Unicode 21d4 --> ≡<!-- Unicode 2261, «Identical to» -->
| підзаголовок = символи, що позначають '''тоді і лише тоді'''
}}
{{Правила перетворення}}

У [[логіка|логіці]] й пов'язаних галузях, таких як [[математика]] та [[філософія]], '''тоді й лише тоді'''&nbsp;— [[еквівалентність|двоумовний]] [[логічний сполучник]] між твердженнями. Сполучник можна порівняти зі звичайною [[імплікація|імплікацією]] («тільки якщо» те саме, що «якщо … тоді»), поєднаною зі своєю оберненою, звідси й назва (див. також {{нп|еквіваленція|||Logical equivalence}}). Істинність одного елемента з пов'язаних тверджень вимагає істинності іншого, тобто, або обидва&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
! style="width: 30%" | q
| style="width: 30%" | <div align="center"> '''p''' ↔ '''q''' </div>
|-
| T || T || T
|-
| T || F || F
|-
| F || T || F
|-
| F || F || T
|}

== Примітки ==

{{reflist}}

[[Категорія:Логіка]]
[[Категорія:Математична термінологія]]
[[Категорія:Бінарні операції]]