Необходимость, достаточность
- Необходимость, достаточность
-
Необходимое условие и достаточное условие — виды условий связи суждений. Различие этих условий используется в логике и математике для обозначения видов связи суждений.
Необходимое условие
Суждение 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.
Полезное
Смотреть что такое "Необходимость, достаточность" в других словарях:
Необходимость достаточность — Необходимое условие и достаточное условие виды условий связи суждений. Различие этих условий используется в логике и математике для обозначения видов связи суждений. Содержание 1 Необходимое условие 2 Достаточное условие … Википедия
Достаточность Необходимость — Необходимое условие и достаточное условие виды условий связи суждений. Различие этих условий используется в логике и математике для обозначения видов связи суждений. Содержание 1 Необходимое условие 2 Достаточное условие … Википедия
ДОСТАТОЧНОСТЬ СОБСТВЕННОГО КАПИТАЛА — CAPITAL ADEQUACYСтруктура капитала банков включает в себя собственный капитал и долг. Банки это фин. институты, имеющие большую долю заемных средств, что может сказаться на их жизнеспособности. Более того, банки имеют значительные потенциальные… … Энциклопедия банковского дела и финансов
Достаточное условие — Необходимое условие и достаточное условие виды условий связи суждений. Различие этих условий используется в логике и математике для обозначения видов связи суждений. Содержание 1 Необходимое условие 2 Достаточное условие … Википедия
Если и только если — Необходимое условие и достаточное условие виды условий связи суждений. Различие этих условий используется в логике и математике для обозначения видов связи суждений. Содержание 1 Необходимое условие 2 Достаточное условие … Википедия
Критерий (логика) — Необходимое условие и достаточное условие виды условий связи суждений. Различие этих условий используется в логике и математике для обозначения видов связи суждений. Содержание 1 Необходимое условие 2 Достаточное условие … Википедия
Необходимое условие — и достаточное условие виды условий связи суждений. Различие этих условий используется в логике и математике для обозначения видов связи суждений. Содержание 1 Необходимое условие 2 Достаточное условие … Википедия
Признак (логика) — Необходимое условие и достаточное условие виды условий связи суждений. Различие этих условий используется в логике и математике для обозначения видов связи суждений. Содержание 1 Необходимое условие 2 Достаточное условие … Википедия
Равносильность — Необходимое условие и достаточное условие виды условий связи суждений. Различие этих условий используется в логике и математике для обозначения видов связи суждений. Содержание 1 Необходимое условие 2 Достаточное условие … Википедия
Свойство (логика) — Необходимое условие и достаточное условие виды условий связи суждений. Различие этих условий используется в логике и математике для обозначения видов связи суждений. Содержание 1 Необходимое условие 2 Достаточное условие … Википедия