Az elválasztó ítélet - szótár logika - Enciklopédia és Szótár
Elkülönítés ítélete - diszjunkció (. Lat disjunctio - szétkapcsoló) komplex ítélete kialakítva két vagy több propositions használ logikai kötegek „vagy”. 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 v - jele diszjunkció. Susche létezik kétféle R s. szigorúan elválasztó és elválasztó lazán. A szigorú elválasztása ítélete ínszalag „vagy”, „vagy” használjuk szigorú elválasztása értelemben (lásd. Diszjunkciót), m. E. Amikor a tagok diszjunkciót (alternatív), hogy a két távú SRA-SRI A1 v A2 inkompatibilis (egyikük igaz, és Dru-Goa - hamis). Ez az ítélet: „Ez az ember bűnös (A1) vagy az a személy nem követett el (A2).” Természetesen, hogy a személy nem lehet egyszerre bűnös és ártatlan, csak egy alternatíva. A gyengén elosztjuk ítéletek (lásd. A szétválás) nincs alternatívája NE-lyayutsya összeférhetetlen. Ez az ítélet „Ez a diák képes, és ő szorgalmas.” Ez a vélemény nem köti meg, hogy a diák egyaránt lehet alkalmas és szorgalmas. R. sz. a hétköznapi nyelven gyakran formálnak tömörített formában, és, például. nézet: «S van egy P1 vagy P2 vagy” P1 vagy P2 tartozik S». Így a határozat „Ez a háromszög vagy téglalap-edik nem téglalap alakú” azt jelenti, R s. „Ez a háromszög A közvetlen négyszögletes vagy nem derékszögű háromszögből a” csapat „vagy” helyett „vagy” kötegek általában használt súlyosan megfosztott-nek ítéletet.
Lásd. Szintén `szétválasztása Suzhdenie` más szótárak
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 Diz.