Необходимое и достаточное условие
Материал из Википедии — свободной энциклопедии
Необходимое условие и достаточное условие - виды условий связи суждений. Различие этих условий используется в логике и математике для обохначения вилов связи суждений.
Содержание |
[править] Необходимое условие
Суждение 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.
[править] См. также
- Необходимость
- Достаточность
В этой статье или секции нет ссылок на источники информации. Вы можете помочь проекту, добавив список литературы или внешние ссылки. |