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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
[неперевірена версія][неперевірена версія]
Рядок 36: Рядок 36:
   
 
[[Категорія:Логіка]]
 
[[Категорія:Логіка]]
[[Категорія:Математичні терміни]]
+
[[Категорія:Математична термінологія]]
 
[[Категорія:Бінарні операції]]
 
[[Категорія:Бінарні операції]]
   

Версія за 09:25, 1 вересня 2011

↔ ⇔ ≡

логічні символи, що
представляють тоді і тільки тоді.

У логіці і пов'язаних галузях, таких як математика та філософія, тоді і лише тоді — двоумовний логічний сполучник між твердженнями. Сполучник можна уподобити до звичайної імлікації («тільки якщо» те саме, що «якщо … тоді»), поєднаної зі своєю оберненою; звідси й ім'я. Отримуємо, що істинність одного елемента з пов'язаних тверджень вимагає істинності іншого, тобто, або обидва істинні, або хибні.

Часто використовуються, зі спірною правильністю, альтернативи до «тоді і лише тоді» — Q ' необхідно і достатньо для P, P еквівалентне до Q (порівняйте з імплікацією).

В формулах математичної логіки, використовують логічні символи замість фрази.

Визначення

Таблиця істинності для p ↔ q така:[1]

Ттт
p q
pq
T T T
T F F
F T F
F F T

Примітки