Simptom (logica) - este

cerință

Judecata P este o condiție necesară condiție judecăți X, atunci când în (adevăr) X urmează (adevăr) P. Cu alte cuvinte, dacă P este falsă, atunci în mod fals și X.

Pentru judecăți de tip X „obiect aparține (elemente) clasa de judecată M» P se numește proprietate M.

condiție suficientă

Judecata Q este o condiție suficientă judecăți X, atunci când în (adevăr) Q trebuie să fie (adevăr) X, adică în cazul verificării X adevăr Q nu este necesară.

Pentru judecăți de tip X „obiect aparține clasei M» se numește judecată semn (elemente) Q M.

condiție necesară și suficientă

Judecata K este o condiție necesară și suficientă condiție judecăți X, atunci când K este o condiție esențială atât X cât și suficient. În acest caz, se spune că mai K și X sunt echivalente. sau echivalent.

Pentru declarațiile de tip X „obiect aparține clasei M» K este un criteriu de judecată pentru calitatea de membru în clasa M.

Hotărârea X: «Bob primește o bursă„.
O condiție necesară pentru P: «Bob - student„.
O condiție suficientă pentru Q: «Bob învață în liceu fără trei„.

Din ceea ce Vasya - un student, nu rezultă că primește o bursă. Dar această condiție este necesară, adică, dacă John nu este un student, el, evident, nu primește o bursă.

Dacă Bob se studiază în liceu fără trei, el devine în mod evident o bursă. Cu toate acestea, studentul Bob poate obține o bursă (sub formă de subvenții), în cazul în care el învață să tripleti, dar, de exemplu, are o boală cronică.

Vezi ce „Simptom (logica)“ în alte dicționare:

Logica simbolică - (semn logike greacă Symbolon, semn, semn.) - logica, folosind un limbaj simbolic pentru prezentarea formală a proceselor logice. A nu se confunda cu gândirea simbolică, care, în special, să fie logică ... ... Dicționarul Enciclopedic de Psihologie și Pedagogie

Logica Port-Royal - LOGIC ERP PIANO de carte logică deductivă, publicată la Paris în 1662 sub numele unui anonim "logique ou l arta de Penser" ( "Logic sau arta de a gândi"). Înainte de început. 19 lea a fost cel mai popular manual a logicii, a stat mai mult de 50 ... ... Filozofic Enciclopedia

Logic (Filosofie) - Logica (alta limba greacă λογική «știința de raționament“, «arta de raționament» din λόγος «noi“, «argumentul» ..) știința formelor, metodele și legile de cunoaștere intelectuală, formalizate prin intermediul unui limbaj logic. Pentru că această ... ... Wikipedia

TAG (variabilă, VALUE, HARAKTEISTIKA) sau atribut dimensional - HEK Roe comune tuturor obiectelor studiate (unități de observare) de calitate, afișaj specific cerned (valori SP) variază de la un obiect la altul și poate fi modificată, adică, fiecare obiect, considerat ca purtător al calităților menționate ... ... enciclopedie sociologică românească

INDIAN LOGIC - forma originală a logicii, care a apărut în India, indiferent de logica de dezvoltare în Europa. Există trei perioade I. l. mai întâi - aproximativ 6. BC - 2-3 secole. BC atunci când în legătură cu o discuție animată între reprezentanții diferitelor ... ... Filozofic Enciclopedia

Reinin - (în sotsionike) 15 binare ortogonale atribute de tip metabolismului informații (sociotypes) împământat uman psiholog și matematician român Reyninym Grigoriem Romanovichem. În 1980, Ausra Augustinavichiute și Larissa ... ... Wikipedia