Необходимое и достаточное условия: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Arventur (обсуждение | вклад) Строгие определения, ссылки, литература |
Arventur (обсуждение | вклад) |
||
Строка 22:
== Необходимое и достаточное условие ==
Суждение K является ''необходимым и достаточным условием'' суждения X, когда K является как необходимым условием X, так и достаточным. В этом случае говорят ещё что K и X ''равносильны'', или [[эквиваленция|''эквивалентны'']], и обозначают <math>K\Leftrightarrow X</math> или <math>K \leftrightarrow X</math>.
Это следует из тождественно истинной формулы, связывающей импликацию и операцию эквиваленции{{sfn|Эдельман|с=26|1975}}:
<math>(X \leftrightarrow Y) \leftrightarrow (X \Rightarrow Y) \and (Y \Rightarrow X)</math>
Для суждений X типа «объект принадлежит [[Класс (математика)|классу]] M» такое суждение K называется '''критерием''' принадлежности классу M.
| |||