Необходимое и достаточное условие
Материал из Википедии — свободной энциклопедии
Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от версии, проверенной 23 июня 2013; проверки требуют 2 правки.
Необходимое условие и достаточное условие — виды условий связи суждений. Различие этих условий используется в логике и математике для обозначения видов связи суждений.
Содержание
[убрать]Необходимое условие
Необходимыми условиями истинности утверждения А называются условия, без соблюдения которых А не может быть истинным.
Суждение P является необходимым условием суждения X, когда из (истинности) X следует (истинность) P. То есть, если P ложно, то заведомо ложно и X.
Для суждений X типа «объект принадлежит классу M» такое суждение P называется свойством (элементов) M.
Достаточное условие
Достаточными называются такие условия, при наличии (выполнении, соблюдении) которых утверждение А является истинным.
Суждение P является достаточным условием суждения X, когда из (истинности) P следует (истинность) X, то есть в случае истинности P проверять X уже не требуется.
Для суждений X типа «объект принадлежит классу M» такое суждение P называется признаком (элементов) M.
Необходимое и достаточное условие
Суждение K является необходимым и достаточным условием суждения X, когда K является как необходимым условием X, так и достаточным. В этом случае говорят ещё что K и Xравносильны, или эквивалентны.
Для суждений X типа «объект принадлежит классу M» такое суждение K называется критерием принадлежности классу M.
Пример
Суждение X: «Вася получает стипендию».
Необходимое условие P: «Вася — учащийся».
Достаточное условие Q: «Вася учится в вузе без троек».
Необходимое условие P: «Вася — учащийся».
Достаточное условие Q: «Вася учится в вузе без троек».
Из того, что Вася — учащийся, ещё не следует, что он получает стипендию. Но это условие необходимо, то есть если Вася не учащийся, то он заведомо не получает стипендии.
Если же Вася учится в вузе без троек, то он заведомо получает стипендию. Тем не менее, студент Вася может получать стипендию (в виде пособия), если он учится с тройками, но, например, имеет хроническое заболевание.
См. также
http://ru.wikipedia.org/wiki/Необходимое_и_достаточное_условие
0 коммент.:
Отправить комментарий