Тогда и только тогда: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Спасено источников — 0, отмечено мёртвыми — 1. Сообщить об ошибке. См. FAQ. #IABot (v2.0beta15) |
Нет описания правки |
||
Строка 5:
⇔<!-- Unicode 21d4 -->
≡<!-- Unicode 2261, «Identical to» --></big></big></big></big></big>
<div style="line-height: 120%; text-align: left"> <br>Логические символы,
«'''Тогда́ и то́лько тогда́'''» — [[Логическая операция|логическая связка]] [[Эквиваленция|эквиваленции]] между утверждениями, применяемая в [[Логика|логике]], [[математика|математике]], [[философия|философии]]. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию<ref>[http://www.philosophy.ru/library/katr/logic/log_2_lect.html Логика высказываний]</ref> («только тогда» эквивалентно «если … то»), соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение русского языка «тогда и только тогда» определённую выше связку с её уже существующим смыслом. Конечно, ничто не может помешать нам читать эту связку именно как «тогда и только тогда», хотя это может иногда привести к путанице.
| |||