Равносильность

Необходимое условие и достаточное условие — виды условий связи суждений. Различие этих условий используется в логике и математике для обозначения видов связи суждений

.

Содержание

Необходимое условие

Суждение P является необходимым условием суждения X, когда из (истинности) X следует (истинность) P. То есть, если P ложно, то заведомо ложно и X

.

Для суждений X типа «объект принадлежит классу M» такое суждение P называется свойством (элементов) M

.

Достаточное условие

Суждение Q является достаточным условием суждения X, когда из (истинности) Q следует (истинность) X, то есть в случае истинности Q проверять X уже не требуется

.

Для суждений X типа «объект принадлежит классу M» такое суждение Q называется признаком (элементов) M

.

Необходимое и достаточное условие

Суждение K является необходимым и достаточным условием суждения X, когда K является как необходимым условием X, так и достаточным. В этом случае говорят ещё что K и X равносильны, или эквивалентны

.

Для суждений X типа «объект принадлежит классу M» такое суждение K называется критерием принадлежности классу M

.

Пример

Суждение X: «Вася получает стипендию».
Необходимое условие P: «Вася — студент».
Достаточное условие Q: «Вася учится в вузе без троек»

.

Из того, что Вася — студент, еще не следует, что он получает стипендию. Но это условие необходимо, то есть если Вася не студент, то он заведомо не получает стипендию

.

Если же Вася учится в вузе без троек, то он заведомо получает стипендию. Тем не менее, студент Вася может получать стипендию (в виде пособия), если он учится с тройками, но, Например, имеет хроническое заболевание

.

См. также


Wikimedia Foundation. 2010.