Необходимое и достаточное условия: различия между версиями

'''Необходимое условие''' и '''достаточное условие''' — виды [[условие|условий]], логически связанныхсвязанные с некоторым [[Суждение|суждением]]. Различие этих условий используется в [[Логика|логике]] и [[Математика|математике]] для обозначения видов связи суждений.

Суждение K является ''необходимым и достаточным условием'' суждения X, когда K является как необходимым условием X, так и достаточным. В этом случае говорят ещё что K и X ''равносильны'', или [[эквиваленция|''эквивалентны'']], и обозначают <math>K\Leftrightarrow X</math> или <math>K \leftrightarrow X</math>.

Для суждений X типа «объект принадлежит [[Класс (математика)|классу]] M» такое суждение K называется '''[[Критерий|критерием]]''' принадлежности классу M.