Az elválasztó ítélet - a
Diszjunktív (lat disjungo -. szétkapcsolás) - komplex javaslat, hogy-Roe vagy (a), amely két (vagy több) egyéb értékelések (tagok R. c.) egy logikai .. unió „vagy” (vagy unió „vagy” „vagy., vagy” „vagy. vagy” hasonló unió „vagy” logikai. t. sp.), vagy (b) lehet változatlanul logikus. jelentése a fentiekben képviseletében a (a). Attól függően, hogy a logikai értelemben. unió „vagy” - szigorúan elválasztó (kivéve, kiküszöbölve-elválasztás) rumot két-tag P. s. megfelel o m n és I szétválás. vagy nestrogo- elválasztás (kötőszöveti szétválasztás), amely megfelel egy, a B l I diszjunkciót - különböztetik meg: 1) szigorúság, tiszta-P. a. (Javaslatok, megjegyzések), és 2) lazán osztódó (elválasztó kötőszöveti) pontját. Logic. Forma P. s. (Mindkét faj) átvihetők felvétel (*) "A1 vagy A2, vagy A n." (A képletben Ai jelentése SUCCESSION ítélete, i - 1, 2 n; n száma általában kicsi, mert tartalmaznak a gondolat és a nyelv ritka jellemek terjedelmes tervezés) ..; abban az esetben, P. o. forma (1) néha használják rekord „Vagy a1, vagy A2, vagy. vagy A n” vagy „Vagy a1 vagy A2 vagy. vagy A n”.
P. s. forma (1) a „vagy” szó kifejezi páronként összeférhetetlensége tagjai, és a jelentése a ítélete az igazság egy és csak egy tagja Ra. Ilyen R. C. logikus. A „vagy” szó megfelelőnek tekinthető szigorú szétválasztás művelet csak abban az esetben a binomiális R., mivel Formula logikai típusú Ø1VØ2V. Vom [ahol Oi - SUCCESSION Formula (megnyilatkozás) propozicionális logika vagy predikátum, i = 1, 2 m, a jele V jelzi szigorú diszjunkciót], ellentétben a P. s. formában (1) megvan az a tulajdonsága, hogy az érték az „igaz” akkor és csak akkor, ha páratlan számú diszjunktív feltételek igaz, ahol pl. Ø1VØ2VØ3 képlet formájában is igaz, hogy mind a három állítás igaz Ø1Ø2Ø3.
P. s. típusú (2) a „vagy” szó nem jelenti összeférhetetlenség tagjai a RA; R. értelmet. Itt az az állítás, hogy legalább egy tagja R. s. igaz (vagy talán mindegyik igaz). Union „vagy” egy ilyen RV. megfelel a művelet (gyenge) diszjunkció, és R. a. típusú (2) expresszálható logikája képleteit formájában (* *): Ø1VØ2V. Vom, ahol V - jel (gyenge) diszjunkció. R. sz. forma (1) által expresszálható ugyanazokat a képleteket (*), de azzal a kiegészítéssel, a konjunktív expressziójának formájában (Ø1 tradicionális logika.); ezek a formák könnyen megjeleníthetők írásban formában (*), figyelembe véve azt, hogy, például. forma (α) abban az értelemben, az egyenértékű forma „jelentése S P1, vagy P2 jelentése S vagy. vagy S Pn”. Néha a „P. s.” alkalmazza azt a rendeletet. forma hagyomány. logika jelölő általános fogalma R., a fent leírtak szerint, az „diszjunkció megítélés”.
A K .. és átalakítható őket (bár bizonyos szem-változás értelmében) olyan ítéletek, amelyek kifejezik felosztása a koncepció; A nematematich. formális logika nevezik őket megosztó ítéletek. Pl. „Az állatok gerincesek és (vagy) gerinctelen” - elválasztó pontját. és az „Ez az állat, vagy gerinces vagy gerinctelen” - R. s. Különbség fajok (1) és (2) P. s. Ez megfelel a különbség a választóvonal értékelések kifejező részlege a koncepció és miközben kizárja egymást nem kizáró osztály tagja.
B. Biryukov. Budapest.
Filozófiai Enciklopédia. Az 5 évf -. M. szovjet Encyclopedia. Szerkesztette FV Konstantinov. 1960-1970.
Lásd, amit a „elválasztó ÍTÉLET” más szótárak:
elválasztó ítélete - diszjunkció (. lat disjunctio szétkapcsolás) komplexet ítélete kialakítva két vagy több állítások felhasználásával logikai vagy ínszalag. Az általános formája R. s. Azt a forma A1 v A2 v. v Egy, ahol A n ítélete (tagja a diszjunkció, alternatív), egy ... ... logikája szótár kifejezések
Összeköt választóvonal ÍTÉLET - lásd szétválasztása ítélet .. Filozófiai Enciklopédia. Az 5 x t. M. szovjet Encyclopedia. Szerkesztette FV Konstantinov. 1960 1970 ... Encyclopedia of Philosophy
ÍTÉLET - a kifejezett gondolat és a deklaratív mondat igaz vagy hamis. S. mentes pszichológiai színű, jellemző a jóváhagyást. Bár C expresszálódik csak azon a nyelven, ez, ellentétben a javaslat nem függ ... ... Filozófiai Enciklopédia
Osszuk ÍTÉLET - lásd szétválasztása ítélet .. Filozófiai Enciklopédia. Az 5 x t. M. szovjet Encyclopedia. Szerkesztette FV Konstantinov. 1960 1970 ... Encyclopedia of Philosophy
Zeno - Zeno fia Mnaseya (vagy Deme) származó Kitiont hogy Cipruson a görög város föníciai telepesek. Volt egy görbe a nyak (mondja Timothy él Athén), és ő szerint Apolloniya Tirskogo volt, vékony, csinos ... ... Az élet tanításai és mondások híres filozófusok
Szillogizmus - a következtetés, mely alapján több véleményt, hogy szükség van egy új kiadási tétel az úgynevezett következtetést. Ellentétben S. mivel a levonás középszerű, úgynevezett közvetlen következtetés, amelyben a következtetést ... ... Collegiate Dictionary FA Brockhaus és IA Efron
Elosztjuk - szigetelő, elválasztó, elválasztó. 1. Fissile semmit jelezve szekció, osztály (portré).. Választóvonal. 2. kifejezi vagy a választás két vagy több ötlet, lehetőségek (filozófia. És gramm.). ... ... Ushakov magyarázó szótár
szétválasztás - edik, th. Amely elválasztja l. kijelöléséről szakasz részlege. Elválasztó jel. Választóvonal. ◊ diszjunktív gramm. Union összekötő homogén szempontjából a javaslatot vagy a javaslatot, és arra mutatnak, hogy a valóság ... ... Kis kollégiumi szótár
Dilemma - (.. görög di kétszer, a latin lemma feltételezés kettős feltevés) hivatkozik, amelyben az alany mögött két egymásnak ellentmondó tag, kizárva annak lehetőségét, egy harmadik. A dilemma is ismert, mint egy speciális esete a feltételes szillogizmus szétválasztás ... Legújabb Filozófiai szótár
Dilemma - (. Gk a kétszer lemma feltételezés kiküldetés), forma következtetés (. Logikai O) küldését (kezdeti feltételezések), amelyek hipotetikus. (Feltételezett) és a szétválasztó (elválasztó) szerkezetek. Ha a felső páncél. leveleket ... ... Filozófiai Enciklopédia