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

нема опису редагування
м (r2.7.3) (робот змінив: fa:اگر و تنها اگر; косметичні зміни)
⇔<!-- Unicode 21d4 -->
≡<!-- Unicode 2261, "Identical to" --></big></big></big></big></big>
<div style="line-height: 120%; text-align: left">логічні символи, що позначають <br/>'''тоді і тільки тоді'''.</div></div>
/>представляють '''тоді і тільки тоді'''.</div></div>
 
У [[логіка|логіці]] ій пов'язаних галузях, таких як [[математика]] та [[філософія]], '''тоді і лише тоді'''&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"
|+ '''Ттт'''