Критерій
Матеріал з Вікіпедії — вільної енциклопедії.
Критерій - види умов зв'язку суджень. Розходження цих умов використовується в логікою і математиці для позначення видів зв'язку суджень.
Зміст |
[ред.] Необхідна умова
Судження 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: «Вася навчається у вузі без трійок».
З того, що Вася - студент, ще не випливає, що він отримує стипендію. Але ця умова необхідно, то есть если Вася не студент, то він явно не отримує стипендію.
Якщо ж Вася навчається у вузі без трійок, то він явно отримує стипендію. Тим не менш, студент Вася може отримувати стипендію (у вигляді допомоги), якщо він навчається з тройками, але, наприклад, має хронічне захворювання.
