Тоді й лише тоді
(Перенаправлено з Тоді і тільки тоді)
У логіці й пов'язаних галузях, таких як математика та філософія, тоді й лише тоді — двоумовний логічний сполучник між твердженнями. Сполучник можна порівняти зі звичайною імплікацією («тільки якщо» те саме, що «якщо … тоді»), поєднаною зі своєю оберненою, звідси й назва (див. також еквіваленція). Істинність одного елемента з пов'язаних тверджень вимагає істинності іншого, тобто, або обидва — істинні, або обидва — хибні.
↔ ⇔ ≡ | |
---|---|
символи, що позначають тоді і лише тоді |
Часто вживається, зі спірною правильністю, альтернативи до «тоді й лише тоді» — Q необхідно й достатньо для P, P еквівалентне до Q (порівняйте з імплікацією).
У формулах математичної логіки, замість фрази вживають відповідні символи.
Визначення
Таблиця істинності для p ↔ q така[1]:
p | q | p ↔ q |
---|---|---|
T | T | T |
T | F | F |
F | T | F |
F | F | T |
Примітки
🔥 Top keywords: Головна сторінкаЧемпіонат Європи з футболу 2024Спеціальна:ПошукВікіпедія:Культурна спадщина та видатні постаті (2024)Збірна України з футболуБріджертониЧемпіонат Європи з футболу 2020YouTubeУкраїнаЧемпіонат Європи з футболуЗбірна Румунії з футболуРебров Сергій СтаніславовичГлобальний саміт мируРадіо «Свобода»ДефолтРумуніяЛунін Андрій ОлексійовичНаціональна суспільна телерадіокомпанія УкраїниДень батькаДовбик Артем ОлександровичШевченко Андрій МиколайовичЯрмоленко Андрій МиколайовичЧемпіонат Європи з футболу 2024 (кваліфікаційний раунд)Мудрик Михайло Петрович138-ма зенітна ракетна бригада (Україна)FacebookЄрмак Андрій БорисовичСексВійськові звання України22-га окрема механізована бригада (Україна)Зінченко Олександр ВолодимировичТериторіальний центр комплектування та соціальної підтримкиДумками навиворіт 2Чемпіонат Європи з футболу 2016Список операторів систем розподілу України2024 у телебаченніMegogoСписок українських жіночих іменКиїв