Тоді й лише тоді: відмінності між версіями
Перейти до навігації
Перейти до пошуку
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
м робот додав: et:Parajasti siis, kui, ru:Тогда и только тогда, tr:Ancak ve ancak |
||
| Рядок 48: | Рядок 48: | ||
[[es:Bicondicional]] |
[[es:Bicondicional]] |
||
[[eo:S.n.s.]] |
[[eo:S.n.s.]] |
||
[[et:Parajasti siis, kui]] |
|||
[[fa:اگر و فقط اگر]] |
[[fa:اگر و فقط اگر]] |
||
[[fr:Équivalence logique]] |
[[fr:Équivalence logique]] |
||
| Рядок 63: | Рядок 64: | ||
[[pl:Równoważność]] |
[[pl:Równoważność]] |
||
[[pt:Se e somente se]] |
[[pt:Se e somente se]] |
||
[[ru:Тогда и только тогда]] |
|||
[[simple:If and only if]] |
[[simple:If and only if]] |
||
[[sr:Акко]] |
[[sr:Акко]] |
||
[[fi:Jos ja vain jos]] |
[[fi:Jos ja vain jos]] |
||
[[sv:Om och endast om]] |
[[sv:Om och endast om]] |
||
[[tr:Ancak ve ancak]] |
|||
[[ur:اگر بشرط اگر]] |
[[ur:اگر بشرط اگر]] |
||
[[vi:Tương đương logic]] |
[[vi:Tương đương logic]] |
||
Версія за 07:30, 23 червня 2011
↔ ⇔ ≡
логічні символи, що
представляють тоді і тільки тоді.
представляють тоді і тільки тоді.
У логіці і пов'язаних галузях, таких як математика та філософія, тоді і лише тоді — двоумовний логічний сполучник між твердженнями. Сполучник можна уподобити до звичайної імлікації («тільки якщо» те саме, що «якщо … тоді»), поєднаної зі своєю оберненою; звідси й ім'я. Отримуємо, що істинність одного елемента з пов'язаних тверджень вимагає істинності іншого, тобто, або обидва істинні, або хибні.
Часто використовуються, зі спірною правильністю, альтернативи до «тоді і лише тоді» — Q ' необхідно і достатньо для P, P еквівалентне до Q (порівняйте з імплікацією).
В формулах математичної логіки, використовують логічні символи замість фрази.
Визначення
Таблиця істинності для p ↔ q така:[1]
| p | q | p ↔ q
|
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |