Тогда и только тогда: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
Нет описания правки |
||
Строка 10:
«'''Тогда́ и то́лько тогда́'''» — [[Логическая операция|логическая связка]] [[Эквиваленция|эквиваленции]] между утверждениями, применяемая в [[Логика|логике]], [[математика|математике]], [[философия|философии]]. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию<ref>[http://www.philosophy.ru/library/katr/logic/log_2_lect.html Логика высказываний]</ref> («только тогда» эквивалентно «если … то»), соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение русского языка «тогда и только тогда» определённую выше связку с её уже существующим смыслом. Конечно, ничто не может помешать нам читать эту связку именно как «тогда и только тогда», хотя это может иногда привести к путанице.
В письменной форме в качестве альтернативы к «тогда и только тогда» часто используется <span style="font-color: red;>достаточно спорные выражения</span>, включающие: ''Q [[Необходимое и достаточное условие|необходимо и достаточно]] для Р''; ''Р эквивалентно (или материально эквивалентно) Q''; ''Р точно, если Q''; ''P точно, когда Q''; ''P точно в случае Q''; ''P именно в случае Q''.
Из [[Необходимое_и_достаточное_условия#Пример| В логических формулах вместо всех вышеприведённых фраз используются логические символы.
| |||