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