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