Симптом (логика) - е

изискване

Решение P е необходимо условие преценки X, когато в (истина) X следва (истина) П. Това означава, че ако P е лъжа, а след това лъжливо и X.

За решения тип Х "обект принадлежи към клас решение М» P се нарича собственост (елементи) М.

достатъчно условие

Решение Q е достатъчно условие преценки X, когато в (истина) Q трябва да бъде (истина) X, т.е. в случай на проверка истина Q X не се изисква.

За решения тип Х "обект принадлежи към клас М» се нарича Q знак преценка (елементи) М.

Необходимо и достатъчно условие

Решение К е необходимо и достатъчно условие преценки X, когато K е предпоставка както X, и достатъчно. В този случай ние казваме, че по-K и X са еквивалентни. или еквивалент.

За изказвания тип X "обект принадлежи към класа M» K е критерий решение за членство в класа М.

Решение X: «Боб получава стипендия".
Необходимо условие за P: «Боб - ученика".
А достатъчно условие за Q: «Боб учи в гимназията, без три".

От това, което Вася - студент, от това не следва, че той получава стипендия. Но това условие е необходимо, т.е. ако Джон не е студент, той очевидно не получава стипендия.

Ако Боб учи в гимназията, без три, той очевидно получава стипендия. Независимо от това, студент Иван може да получи стипендия (под формата на безвъзмездни средства), ако той се научава да тризнаци, но, например, е с хронично заболяване.

Вижте това, което "Симптом (логика)" в други речници:

Символичен логика - (гръцки logike знак symbolon, знак, знак.) - логиката, като се използват символичен език за официалното представяне на логическите процеси. Да не се бърка със символично мислене, което, по-специално, за да бъде логично ... ... Енциклопедичен речник по психология и педагогика

Логика на Порт Роял - LOGIC ERP пиано от дедуктивно книга логика, публикувано в Париж през 1662 г. под името на анонимен "Logique ОУ л изкуство де penser" ( "Логика или изкуството на мислене"). Преди началото. 19-ти век е най-популярния учебник по логика, се е отличавал с повече от 50 ... ... Философски Енциклопедия

Logic (философия) - Logic (различни гръцки λογική «наука на разсъждение", "изкуството на разсъждение" от λόγος «ние", "аргумент" ..) Науката за формите, методите и законите на интелектуална познание, формализирани с помощта на логически език. Тъй като това ... ... Wikipedia

TAG (променлива, стойността, HARAKTEISTIKA) или двумерен атрибут - НЕК Roe общ за всички обекти на изследване (единици за наблюдение) качество, специфични за дисплей бодното (SP стойности) варира от един обект на друг и могат да бъдат модифицирани, т.е. всеки обект, разглеждан като носител на тези качества ... ... българската социологическа енциклопедия

Индийска LOGIC - оригиналната форма на логиката, които са възникнали в Индия, независимо от логиката на развитие в Европа. Има три периода I. л. първо - около 6 инча пр.н.е. - 2-3 век. пр.н.е. когато във връзка с оживена дискусия между представителите на различни ... ... Философски Енциклопедия

Reinin - (в sotsionike) 15 ортогонална двоичен атрибути тип информация метаболизъм (sociotypes) човешки заземен български психолог и математик Reyninym Grigoriem Romanovichem. През 1980 г. Ausra Augustinavichiute и Лариса ... ... Wikipedia