disjunctiv (lat disjungo -. desperechere) - propunere complexă-Roe fie (a), format din două (sau mai multe) alte judecăți folosind o logică .. (membrii R. c.) unire „sau“ (sau uniune „sau“ „sau. sau“ „sau. sau“ uniuni similare „sau“ logic. t. sp.) sau (b) poate fi neschimbată logic. însemnând reprezentat ca (a). În funcție de sensul logic. unire „sau“ - strict separare (excluzând, eliminând-separare) la romul la doi membri P. s. respectă o m n și I disjuncție. sau separarea nestrogo- (separarea conjunctive), ceea ce corespunde unei b l I disjuncție - se disting: 1) de rigoare, P-pur. a. (sugestii, observații) și 2) slab divid (separare judecata conjunctive). Logic. Formular P. s. (Ambele specii) pot fi transferate la înregistrare (*) (Ai reprezintă judecata În care SUCESIUNE, i - 1, 2. n "A1 sau A2, sau sau A n.", Numărul n este de obicei mici, deoarece în conțin gândit și limbă firi mai puțin frecvente de proiectare voluminoase) ..; în cazul P. p. Formularul (1) este folosit uneori înregistrare „Sau a1 sau A2, sau. sau A n“ sau „Fie a1 sau A2. sau A n“.
P. s. Formularul (1) cuvântul „sau“ exprimă incompatibilitate Pairwise membrilor săi, precum și sensul hotărârii adevărului este unul și numai un singur membru al Ra. Într-o astfel R. c. logic. cuvântul „sau“ poate fi considerată operațiune disjuncție strict adecvată numai în cazul binomului R., din moment ce Formula logica de tip Ø1VØ2V. VOM [în cazul în care Oi - SUCCESIUNEA Formula (exprimare) a logicii propoziționale sau predicatelor, i = 1, 2 m, un semn V indică disjuncție strict], spre deosebire de P. s. forma (1) au proprietatea că o valoare „true“ dacă și numai în cazul în care un număr impar de termeni disjuncte este adevărată, prin care de exemplu. Ø1VØ2VØ3 formulă de forma este adevărat că toate cele trei afirmații sunt adevărate Ø1Ø2Ø3.
P. s. tip (2) cuvântul „sau“ nu presupune incompatibilitatea cu membrii RA; R. sens. aici este afirmația că cel puțin un membru al R. s. adevărat (sau poate toate dintre ele sunt adevărate). Uniunea „sau“ într-un astfel de RV. corespunde funcționării disjuncției (slab), și R. a. tip (2) formulele logice exprimabile ale formei (*): Ø1VØ2V. VOM, unde V - semn (slab) disjuncție. R. c. Formularul (1) exprimabil prin aceleași formule (*), dar cu adăugarea expresiei conjunctive a formei (logica tradițională O1.); aceste forme sunt ușor reprezentate sub formă de scriere (*), ținând seama de faptul că, de exemplu. formă (α) în sensul de formă echivalentă „este S P1 sau P2 este S sau. sau S Pn este“. Uneori, termenul „P. s.“ aplicați decretului. formă de tradiție. logic care denotă un R. generală concept, așa cum este descris mai sus, termenul „judecată disjuncție“.
Legat de R .. și convertibile în ele (deși cu un ochi-o anumită schimbare în sensul) sunt judecăți care exprimă diviziune a conceptului; în nematematich. logica formală ele sunt numite judecăți de partajare. Ex. „Animalele sunt vertebrate și (sau) nevertebrate“ - separarea hotărârii. și „Acest animal sau un vertebrat sau nevertebrat“ - R. s. Diferența dintre specii (1) și (2) P. s. Aceasta corespunde diferenței dintre hotărârile de divizare care exprimă împărțirea conceptului și excluzând în același timp membru diviziune nu se exclud reciproc.
B. Biryukov. București.
Enciclopedia filozofică. Cele 5 Vols -. M. sovietice Enciclopedia. Editat de FV Konstantinov. 1960-1970.
Vezi ce „hotărârea împărțirea“ în alte dicționare:
judecata de separare - (. lat disjunctio desperechere) disjuncție hotărâre complex format din două sau mai multe propozitii folosind logic sau ligament. Forma generală a R. s. Ea are forma A1, A2 v v. v O, în cazul în care o hotărâre n (un membru al disjuncției, alternativ), o ... ... logica dicționar de termeni
Connective despărțitoare JUDECATA - a se vedea hotărârea Separare .. Enciclopedia filozofică. 5 x t. M. Encyclopedia sovietice. Editat de FV Konstantinov. 1960 1970 ... Enciclopedia de Filosofie
JUDECATA - gândul exprimat și propoziții declarative este adevărată sau falsă. S. lipsit de culoare psihologică, caracteristică a aprobării. Deși C este exprimat numai în limba, este, în contrast cu propunerea, nu depinde de ... ... Filozofic Enciclopedia
Împărțiți JUDECATA - a se vedea hotărârea Separare .. Enciclopedia filozofică. 5 x t. M. Encyclopedia sovietice. Editat de FV Konstantinov. 1960 1970 ... Enciclopedia de Filosofie
Zeno - Zeno, fiul Mnaseya (sau Deme), de la Kition că în Cipru, orașul grecesc cu coloniști feniciene. El a avut o curbă a gâtului (spune Timothy Locuiește în Atena), și el, în conformitate cu Apolloniya Tirskogo, a fost un strat subțire, destul de ... ... Pe viață, învățăturile și cuvintele filosofi celebri
Silogism - o concluzie, în care, pe baza mai multor avize cu privire la necesitatea de a obține o nouă propunere numită concluzia. Spre deosebire de S. ca o deducere mediocră, numită inferență directă că, în care concluzia ... ... Collegiate dicționar FA Brockhaus și IA Efron
ÎMPĂRȚIREA - izolarea, divizarea, separarea. 1. orice fisionabile indicând secțiune, diviziune (Portret.). Împărțind line. 2. își exprimă sau este alegerea între două sau mai multe idei, oportunități (filozofie. Și gram.). ... ... Ushakov Dictionarul explicativ
separare - th, th. Asta împarte l. desemnând o divizie secțiune. Separarea semn. Împărțind line. ◊ grame disjuncte. Uniunea conectează termeni omogene ale propunerii sau ale propunerii și indică posibilitatea unei realități ... ... Mici Collegiate dicționar
DILEMĂ - (.. di greacă de două ori, latinescul lemă ipoteza dublă ipoteză) hotărâre, în care subiectul atribuit două etichete contradictorii, excluzând posibilitatea unei a treia. Dilema este, de asemenea, cunoscut ca un caz special de separare silogism condițională ... Cele mai noi Filozofic dicționar
Dilemma - (. Gk de două ori și lemma presupunere posta), forma inferență trimitere (ipoteze inițiale) care sunt ipotetice (Logical O.). (Notional) și disjunctiv (separare) structuri. În cazul în care armătura superioară. scrisori ... ... Filozofic Enciclopedia