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

нема опису редагування
м (Вилучення 31 інтервікі, відтепер доступних на Вікіданих: d:q949972)
<div style="line-height: 120%; text-align: left">символи, що позначають <br/>'''тоді і тільки тоді'''.</div></div>
 
У [[логіка|логіці]] й пов'язаних галузях, таких як [[математика]] та [[філософія]], '''тоді ій лише тоді'''&nbsp;— [[еквівалентність|двоумовний]] [[логічний сполучник]] між твердженнями. Сполучник можна порівняти зі звичайною [[імплікація|імлікацією]] («тільки якщо» те саме, що «якщо … тоді»), поєднаною зі своєю оберненою, звідси й назва. Істинність одного елемента з пов'язаних тверджень вимагає істинності іншого, тобто, або обидва істинні, або обидва хибні.
 
Часто вживається, зі спірною правильністю, альтернативи до «тоді ій лише тоді»&nbsp;— ''Q [[Необхідна ій достатня умова|необхідно ій достатньо]] для P'', ''P еквівалентне до Q'' (порівняйте з [[імплікація|імплікацією]]).
 
У формулах [[Математична логіка|математичної логіки]], замість фрази вживають відповідні символи.