Ознака (логіка) - це

Необхідна умова

Судження 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 р Аушра Аугустінавічюте і Лариса ... ... Вікіпедія

Схожі статті