Тоді й лише тоді: відмінності між версіями
| [перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
картка, доповнення |
м автоматична заміна {{Не перекладено}} вікі-посиланнями на перекладені статті |
||
Рядок 6:
{{Правила перетворення}}
У [[логіка|логіці]] й пов'язаних галузях, таких як [[математика]] та [[філософія]], '''тоді й лише тоді''' — [[еквівалентність|двоумовний]] [[логічний сполучник]] між твердженнями. Сполучник можна порівняти зі звичайною [[імплікація|імплікацією]] («тільки якщо» те саме, що «якщо … тоді»), поєднаною зі своєю оберненою, звідси й назва (див. також
Часто вживається, зі спірною правильністю, альтернативи до «тоді й лише тоді» — ''Q [[Необхідна і достатня умова|необхідно й достатньо]] для P'', ''P еквівалентне до Q'' (порівняйте з імплікацією).
| |||