Ознака (логіка) - це
Необхідна умова
Судження 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: «Вася навчається у вузі без трійок».
З того, що Вася - студент, ще не випливає, що він отримує стипендію. Але ця умова необхідно, тобто якщо Вася не студент, то він свідомо не отримує стипендію.
Якщо ж Вася навчається у вузі без трійок, то він свідомо отримує стипендію. Проте, студент Вася може отримувати стипендію (у вигляді допомоги), якщо він вчиться з трійками, але, наприклад, має хронічне захворювання.
Дивитися що таке "Ознака (логіка)" в інших словниках:
Логіка символічна - (грец. Logike symbolon знак, прикмета, ознака) - логіка, яка використовує символічний мова для формалізованого представлення логічних процесів. Не слід змішувати з мисленням символічним, в якому, зокрема, логічні підлягають ... ... Енциклопедичний словник по психології та педагогіці
ЛОГІКА ПОР-РОЯЛЯ - ЛОГІКА ПОР РОЯЛЯ книга по дедуктивної логікою, що вийшла в Парижі в 1662 анонімно під назвою "Logique ou l art de penser" ( "Логіка або мистецтво мислити"). До поч. 19 го століття була найпопулярнішим підручником логіки, витримала понад 50 ... ... Філософська енциклопедія
Логіка (філософія) - Логіка (ін. Грец. Λογική «наука про міркування», «мистецтво міркування» від λόγος «мова», «міркування») наука про форми, методи і законах інтелектуальної пізнавальної діяльності, формалізуються за допомогою логічної мови. Оскільки це ... ... Вікіпедія
ОЗНАКА (ЗМІННА, ВЕЛИЧИНА, ХАРАКТЕІСТІКА) або одновимірний ОЗНАКА - недо рої загальне для всіх досліджуваних об'єктів (одиниць спостереження) якість, конкретні прояви до якого (значення П.) змінюються від об'єкта до об'єкта і можуть бути змінені, тобто кожному об'єкту, що розглядається як носій згаданого якості, ... ... українська соціологічна енциклопедія
ІНДІЙСЬКА ЛОГІКА - оригінальна форма логіки, що виникла в Індії незалежно від розвитку логіки в Європі. Розрізняють три періоди І. л. перший - приблизно 6 ст. до н.е. - 2-3 ст. н.е. коли в зв'язку з жвавими дискусіями між представниками різних ... ... Філософська енциклопедія
Ознаки Рейніна - (в соціоніці) 15 ортогональних бінарних ознак типу інформаційного метаболізму (соціотипу) людини, обґрунтовані українським психологом і математиком Рейніна Григорієм Романовичем. У 1980 р Аушра Аугустінавічюте і Лариса ... ... Вікіпедія