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

[перевірена версія][перевірена версія]
Вилучено вміст Додано вміст
правопис, вікіфікація
м +Правила перетворення
Рядок 4:
≡<!-- Unicode 2261, «Identical to» --></big></big></big></big></big>
<div style="line-height: 120%; text-align: left">символи, що позначають <br/>'''тоді і тільки тоді'''.</div></div>
 
{{Правила перетворення}}
 
У [[логіка|логіці]] й пов'язаних галузях, таких як [[математика]] та [[філософія]], '''тоді й лише тоді'''&nbsp;— [[еквівалентність|двоумовний]] [[логічний сполучник]] між твердженнями. Сполучник можна порівняти зі звичайною [[імплікація|імплікацією]] («тільки якщо» те саме, що «якщо … тоді»), поєднаною зі своєю оберненою, звідси й назва. Істинність одного елемента з пов'язаних тверджень вимагає істинності іншого, тобто, або обидва&nbsp;— істинні, або обидва&nbsp;— хибні.