Klaidingas paprastas sprendimas ir klaidingas sudėtingas sprendimas. Paprasti ir sudėtingi sprendimai. Sunkūs dviejų tipų atskyrimo sprendimas

Sprendimai, kurie yra suformuoti iš įprastų sprendimų su loginių sąjungų pagalba yra vadinamos sudėtinga.

Pagrindinės loginės sąjungos yra: kartu. \\ t - loginė sąjunga "ir" turi grynai jungiamą vertę, ne išskirtinis (silpnas) disjunkcija - loginė sąjunga "arba" turi prijungimo ir atskyrimo vertę, išskyrus (stiprią) disjunkciją - logiška sąjunga "arba ... arba ..." turi grynai atskyrimo vertę, stiprinimas - Loginė sąjunga "Jei ..., tada ..." kažkaip (nebūtinai prasmės) sujungia du sprendimus, susijusius su viena su kita (gramatikos sąjunga ", jei ..., tada ...", skirtingai nuo loginio, vienija pasiūlymai nebūtinai susiję su prasme), \\ t lygiavertiškumas - Logika sąjunga "Tada ir tik tada, kai ..." ("Jei ir tik jei ...") sujungia du sprendimus, susijusius su nedviprasmiška priklausomybe.

Sudėtingo sprendimo tipas nustatomas pagal pagrindinę logišką sąjungą: jei pagrindinė logiška sąjunga šiame sprendime yra jungtis, tai yra konjunktyvinis sprendimas, disjunkcinis ir kt.

1. Prijungimas (konjunktyvūs) sprendimai.

Jungiantis. \\ T, Or konjunktyvi Jie vadina teismą, kurį sudaro keli paprasta, susieta raištis "ir" . Pavyzdžiui, sprendimas "vagystė ir sukčiavimas susiję su tyčiniais nusikaltimais" - tai jungiantis teismas, kurį sudaro du paprasti: "vagystė nurodo tyčinius nusikaltimus" sukčiavimu, reiškia tyčinius nusikaltimus. " Jei pirmoji žymi R, Ir antrasis - Q, Tada prijungimas gali būti simboliškai išreikštas kaip R? Q, Kur P ir Q - kartu sujungti (arba konjunktomis)? - Simbolis.

Natūrali kalba, konjunktyvų krūva taip pat gali būti atstovaujama tokių išraiškų kaip: "A", ",", "taip pat", ",", ",", ",", nepaisant "," tuo pačiu metu "ir kiti. Pavyzdžiui: "Kai nustato pagal žalos atlyginimo dydį, ne tik žalos atlyginimą (P), bet ir konkrečią situaciją, kai buvo sukeltos nuostoliai (Q), taip pat finansinė padėtis darbuotojas (?). Simboliškai, šis sprendimas gali būti išreikštas taip: P? Q? G.

Prijungimo sprendimas gali būti dviejų ir kelių aukštų; Simboliniu įrašu: P? Q? R? ...? n.

Kalba, jungiamasis sprendimas gali būti išreikštas vienoje iš trijų loginių gramatinių struktūrų.

• 1) Jungiamoji paketas pateikiamas sudėtingame tema pagal schemą: S1 ir S2 yra R. Pavyzdžiui: "nuosavybės konfiskavimas ir pavadinimų atėmimas yra papildomi baudžiamieji įstatymai".
• 2) BUNCH pateikiama sudėtingame predikate pagal schemą: S yra P1 ir P2. Pavyzdžiui: "nusikaltimas yra socialiai pavojingas ir neteisėtas veiksmas".
• 3) Bundle yra atstovaujama pirmųjų dviejų būdų derinys pagal schemą: S1 ir S2 yra P1 ir P2.Pavyzdžiui: "Su Polyzmeister ir prokuroro" Nozmens "taip pat buvo" jūs "ir kreipėsi draugiška" (N.V. Gogol).

Jungiamoji teismo sprendimas yra tikrai tiesa su visų jo konjunktomis ir klaidingai su bent vieno iš jų klaidingumo.

Sprendimo P L Q tiesos sąlygos pateiktos lentelėje (Fig. 4a.), kur tiesa yra pažymėta ir ir veltinys - L. pirmaisiais dviejuose R ir Q stulpeliuose yra nepriklausomi ir imasi visų galimų vertybių derinių ir L: Ai, Il, Lee, ll. Trečiasis stulpelis rodo sprendimo P L Q. vertę. Iš keturių building parinkčių, tai tik pirmoje eilutėje, kai abu konjunktai yra tiesa: ir p ir q. Visais kitais atvejais tai yra klaidinga: antrojoje ir trečiojoje eilutėse dėl vieno iš narių klaidingumo, o 4-oji dėl abiejų narių likimo.

2. Atskirkite (disjunkcinius) sprendimus.

Padalijimas, Or disjunkcinis, Skambinkite sprendimu, kurį sudaro keli paprasta, susieta pamušalas "arba". Pavyzdžiui, teismo sprendimas "pardavimo sutartis gali būti uždengta žodžiu arba raštu" yra atskyrimo sprendimas, kurį sudaro du paprasti: "pardavimo sutartis gali būti uždengta žodžiu"; "Pardavimo sutartis gali būti sudaryta raštu." Jei pirmoji nurodoma R, Ir antrasis - Q, tada atskyrimo sprendimas gali būti simboliškai išreikštas kaip P v Q, kur r ir q - disjunkcijos nariai (Disjoint), v. - disjunkcijos simbolis.

Atskyrimo sprendimas gali būti tiek dviejų ir kelių aukštų: P V Q v ... V N. Loginiai santykiai

Kalba, atskyrimo sprendimas gali būti išreikštas viena iš trijų loginių gramatinių struktūrų.

• 1) Atskyrimo krūva pateikiama sudėtingame tema pagal schemą: S1 arba S2 yra R. Pavyzdžiui, "didelių dydžių sumaišymas arba asmenų grupė turi didesnį visuomenės pavojų."
• 2) atskyrimo krūva pateikiama sudėtingame predikate pagal schemą: S yra PI arba P2. Pavyzdžiui: "Įspėjimas yra baudžiamas korekciniu darbu ar įkalinimu".
• 3) Atskyrimo pluoštas yra atstovaujama pirmųjų dviejų būdų pagal schemą derinys: S1 arba S2 yra P1 arba P2. Pavyzdžiui: "nuoroda arba išsiuntimas gali būti naudojamas kaip pagrindinė ar papildoma sankcija."

Kadangi paketas "arba" yra naudojamas natūralioje kalboje dviejose vertybėse - prijungimas ir atskyrimas ir išskiriantys skiriamieji, tada turėtų būti išskiriami dviejų tipų skiriamųjų sprendimų tipai: nestroy. (silpnas) disjunkcija ir griežtas (stipri) disjunkcija.

• 1) Nepakankamas dispatas -- Sprendimas, kuriame paketas "arba" naudojamas padalinio verte (simbolis V). Pavyzdžiui: "šalto ginklai gali būti arba pjauti", simboliškai p V Q.. Bundle "arba" šiuo atveju akcijų, nes yra tokių tipų ginklų atskirai, ir jungia, nes yra ginklas, tiek esminis ir pjovimo. Lentelėje pateikiamos nežymių dispsakto išsiskyrimo sąlygos (pav. 4B.). Sprendimas P V Q bus tikrai tiesa su bent vieno nario iš disjunkcijos (1, 2, 3 eilutės - II, IL, LI) tiesą. Atsiminimas bus klaidingas su abiejų jos narių klaidingumu (4 eilutė - лл).
• 2) Griežtas disjunkcija -- Sprendimas, kuriame paketas "arba" naudojamas skiriamosios vertės (simbolis). Pavyzdžiui: "Aktas gali būti tyčinis ar neatsargus" simboliškai r q.

Nariai griežtos disjunkcijos alternatyvos negali būti vienu metu tiesa. Jei aktas yra atliekamas tyčia, jis negali būti neatsargus, ir, priešingai, - Aktas padarytas dėl aplaidumo negali būti priskirtas sąmoningai. Lentelėje pateikiamos griežtos disjunkcijos tiesos sąlygos (Fig. 4V.).

Sprendimas R Q bus tiesa su vienos ir klaidingos kitos valstybės (2 ir 3 stygos IL. Li); Tai bus klaidinga, jei abu nariai yra teisingi (pirmoji eilutė) - ii) Arba neteisinga (4-oji eilutė - лл). Taigi, griežtos disjunkcijos sprendimas bus teisingas vienos alternatyvos ir klaidingos - tiek su vienu metu alternatyvų, tiek vienalaikės alternatyvų tiesos.

Atskyrimo krūva kalba paprastai išreiškiama sąjungų "arba", "," arba ". Siekiant padidinti disjunkciją į alternatyvią svarbą, dvigubos sąjungos dažnai naudojamos: vietoj išraiškos «R arba q» Naudojimas. \\ T "Arba p, arba q", Ir kartu "R arba Q" - "P arba Q". Kadangi nėra vienareikšmių sąjungų gramatikos nestandartiniu ir griežtu atskyrimu, teisinių ir kitų tekstų disjunkcijos klausimas turėtų būti išspręstas prasmingos atitinkamų sprendimų analize.

Turi būti atskirti tarp disjunkcinių sprendimų pilnas ir. \\ T nebaigtas disjunkcija.

• 1) Pilnas arba. \\ T uždaryta Jie vadina disjunkcinį sprendimą, kuriame išvardyti visi požymiai ar visos tam tikros rūšies rūšys. Simboliškai šis sprendimas gali būti parašytas taip: Pavyzdžiui: "miškai yra lapuočių, spygliuočių ar mišrios." Šio atskyrimo pilnumas (simboliniu įrašu nurodomas ženklu<...>
• 2) Nebaigtas arba. \\ T atviras Jie vadina disjunkcinį sprendimą, kuriame nėra visų ženklų ar ne visų rūšių tam tikrų rūšių. Simboliniame disjunkcijos nežymio įraše gali būti išreikštas nuobodumu: P v q v r v... Natūrali invokacija, disjunkcija išreiškiama žodžiais: "ir tt" ir kiti "," ir panašūs "," kiti "ir kiti.
• 3. Sąlyginiai (impraticative) sprendimai.

Sąlyga, Or imblicative., Skambinkite sprendimą, kurį sudaro du paprasti, susieti raiščiai ", jei .., tada ...". Pavyzdžiui: "Jei saugiklis yra ištirpęs, elektra išeina." Pirmasis sprendimas yra "saugiklis lydantis" antekeedent. (ankstesnis), antrasis - "Elektriniai įrankiai Ginesnet" - concover. (vėliau). Jei anektoringas rodo r, Concover - Q,ir paketas "Jei ..., tada ..." ženklas "-\u003e", tada implaticative sprendimas gali būti simboliškai išreikštas kaip P.-->q. q.

Ilgalaikio sprendimo tiesos sąlygos pateiktos lentelėje (Fig. 4G.).

Tiesos poveikis visais atvejais, išskyrus vieną: su anektoringo ir pasekmingo (2 linijos) klaidingumas, poveikis visada bus klaidingas. Tikro, kad "saugiklis lydosi" derinys ir klaidingas consexive - "Electrolmamp" neišeina "- yra poveikio veiksnio rodiklis.

Poveikio tiesa paaiškinama taip. 1-ojoje eilutėje P įvoros tiesa yra q arba kitaip tariant: antektoriaus tiesa yra pakankama, kad būtų atpažintas dėl to. Ir iš tiesų, jei saugiklis lydosi, elektrolmas būtinai išeis dėl jų nuoseklaus įtraukties į elektros grandinę.

Trečioje eilutėje su klaidinga ankstesnė, "saugiklis nėra ištirpęs" Consexentient yra tiesa - "Electrolm" išeina. " Situacija yra gana leistina, nes saugiklis negali lydyti, o "Electrollamp" gali išeiti dėl kitų priežasčių - srovės stoka grandinėje, gijos siūlai, grandinės laidai ir kt. Šiuo būdu, "Q" tiesa "pagal" Fallhood P "neplanuoja idėjos dėl priklausomybės priklausomybės nuo jų, nes su P, tai visada bus tiesa ir q.

4-ojoje eilutėje su klaidinga ankstesnė - "saugiklis nėra ištirpęs" yra klaidingas ir su tuo - "" Electrolm "neišeina." Tokia situacija yra įmanoma, tačiau ji nekelia abejonių dėl sąlyginės priklausomybės P ir Q su tiesa, P yra visada tiesa q.

Natūrali kalba, ne tik sąjunga, naudojama sąlyginiams sprendimams išreikšti "Jei tada ...", Bet taip pat ir kitos sąjungos: "Ten ..., kur", tada ..., kai ... "," protingas ..., nuo ... " ir tt Atsižvelgiant į sąlyginius sprendimus kalba, tokios objektyvios nuorodos tipai, kaip priežastinis, funkcinis, erdvinis, laikinas, teisėtas, ir semantinis, loginių ir kitų priklausomybių gali būti pateikta. Priežastinio sprendimo pavyzdys gali būti toks kaip šis pareiškimas: "Jei vanduo yra šildomas įprastu atmosferos slėgiu iki 100 ° C, jis virimo." Semantinės priklausomybės pavyzdys: "Jei numeris yra padalintas į 2 be liekanų, tai yra net."

Atsižvelgiant į sąlyginius sprendimus, dažnai išreiškia logines priklausomybes tarp pareiškimų. Pavyzdžiui: "Jei yra baudžiama visa nusikaltėlis, tada ne viskas yra baudžiama baudžiamojon atsakomybėn." Arba dar vienas argumentavimo pavyzdys: "Jei tiesa, kai kurie paukščiai skrenda į šiltus kraštus žiemą, tai nėra tiesa, kad nė vienas paukštis skrenda į šiltus kraštus."

Atsižvelgiant į sąlyginį sprendimą, anektorininkas atlieka faktinio arba loginė bazė Priėmus atitinkamo poveikio patvirtinimą. Priklausomybė tarp ankstesnės ir pasekmių pasižymi turtu. pakankamumas. Tai reiškia, kad Fondo tiesa nustato tyrimo tiesą, t.y. Su įkūrimo tiesa, tyrimas visada bus tiesa (žr 1 eilutėje lentelėje Fig. 4G.). Šiuo atveju bazė nėra būdinga nuosavybė. būtinybė Tyrėjams, už jo klaidingumą, pasekmė gali būti tiek tiesa, ir klaidinga (žr 3 ir 4 eilutes lentelėje Fig. 4G.).

4. lygiaverčiai sprendimai (dvigubai poveikis).

Ekvivalentas Sprendimas yra vadinamas, kuriame yra du sprendimai, susiję su dvigubu (tiesiogine ir atvirkštine) įprastine priklausomybe, išreikšta loginiu paketu ", jei ir tik jei ...", tada ... ". Pavyzdžiui: "Jei tik jei asmuo yra apdovanotas užsakymais ir medaliais (P), jis turi teisę dėvėti atitinkamas užsakymo lentos (Q)."

Šio sprendimo loginės charakteristikos yra ta, kad patvirtinimo sutarties (P) tiesa laikoma būtina ir pakankama sąlyga dėl patvirtinimo apie teisę į teisės būti atliekant šansų tvarką (Q). Tokiu pat būdu patvirtinimo tiesa apie teisės aktų buvimą vykdyti "Opel" (Q) yra būtina ir pakankama sąlyga pareiškimo tiesai, kad šis asmuo yra apdovanotas atitinkamu tvarka arba medaliu ( P). Tokia abipusė priklausomybė gali būti simboliškai išreikšta dvigubai P-Q, kuris yra skaitomas: "Jei tik jei p, tada q". Lygiavertiškumo išraiška ir kitas ženklas: P \u003d Q.

Natūrali kalba, sąjungos yra naudojamos išreikšti lygiaverčius sprendimus: "Tik ...", tada ... ",", "Tame ir tik tuo atveju, kai ..., tada ...", "tik tada, kai ..., tada ..."kita .

Lygiaverčio sprendimo tiesos sąlygos pateikiamos lentelėje (Fig. 4D.). Sprendimas P \u003d Q yra teisingas tais atvejais, kai abu sprendimai yra tos pačios vertybės, tuo pačiu metu yra teisinga (1 eilutė) arba klaidinga (4 eilutė). Tai reiškia, kad P. Tiesa yra pakankama atpažinti tikrąjį Q ir atvirkščiai. Santykis tarp jų pasižymi tiek, kiek reikia: veltinys P tarnauja kaip "Felt Q" rodiklis, o veltinis Q rodo p.

Sudėtingų sprendimų Tiesos sąlygų suvestinė lentelė (pav.) 4e.)

Siųsti savo gerą darbą žinių bazėje yra paprasta. Naudokite žemiau esančią formą

Studentai, magistrantūros studentai, jauni mokslininkai, kurie naudojasi savo studijų ir darbo žinių baze, bus labai dėkingi jums.

Panašūs dokumentai

Sprendimo esmė ir svarba, jo išskirtiniai bruožai ir struktūra. Bendravimas tarp pasiūlymų ir sprendimų. Logiškos pasiūlymų reikšmės vertė ir vienos sprendimo kalbinės formos. Paprastų ir sudėtingų sprendimų klasifikavimas pagal predikato pobūdį.

pristatymas, pridėta 14.10.2013


Bendros sprendimo charakteristikos. Atributų sprendimai, jų tipai. Dalyko požiūris ir predikatas bendrais neigiamais sprendimais. Ypač neigiamą sprendimą. Paskirstyti, panaikinti ir neabejotinai privačius sprendimus. Pagrindiniai loginių ryšių tipai.

santrauka, pridedama 02.01.2011


Visiškos paprasto sprendimo struktūros elementai. Paprastų sprendimų tipai predikato pobūdžiu. Kombinuotas priskirtų sprendimų kokybės ir kiekio klasifikavimas. Santykis tarp koncepcijų, nustatymo nustatant ir dalijant sąvoką teisingumą.

egzaminas, pridėtas 10/21/2011


Sprendimas kaip mąstymo forma, kuri yra objektų ir reiškinių egzistavimo pareiškimas ar atsisakymas, ryšys ar santykiai tarp jų. Sprendimai: paprastas ir sudėtingas, atributas, santykinis ir egzistencinis; Įranga ar tiesa.

egzaminas, pridedamas 11/13/2009


Sprendimas kaip tikrai esamų reikšmingų santykių ir objektų santykių žemėlapis. Bendros sprendimo charakteristikos, atributo sprendimo objektas. Reikšmingų sprendimų priežastys. "Kiekybinio egzistavimo" sąvoka šiuolaikinėje logikoje.

anotacija, pridėta 11.03.2012


Loginio sprendimų apibrėžimo charakteristikos. Studijuojant loginių ryšių tarp sprendimų. Sudėtingų sprendimų tiesos vertė. Loginių raiščių savybės, susijusios su individualiais sprendimais. Sąlyginis (hipotetinis) slimogizmas ir dilemos.

anotacija, pridedama 08/13/2010


Paprasto sprendimo logikos esmė. Svarstymas apie ryšį tarp objekto ir jo ženklo. Savybes atributų su santykių ir egzistavimo egzistavimą. Dalyko ir predikato pasiskirstymas. Paprastųjų sprendimų santykis.

anotacija, pridedama 08.11.2015


Sprendimo sąvoka kaip mąstymo forma, kuri atspindi tikrai esamus reikšmingus ryšius ir santykius tarp objektų. Sprendimų dėl savo struktūros elementais klasifikacija: predikato turinys, paketo kokybė, objekto apimtis ir modalumas.

egzaminas, pridedamas 02.02.2011

Sudėtingas sprendimas - Tai yra teismo sprendimas, kurį sudaro keletas paprastų sprendimų, susijusių su loginiais aljansais.

Sudėtingi sprendimai skirstomi į rūšis, priklausomai nuo logiškos sąjungos, naudojamos tarp jų.

Sudėtingų sprendimų tipai:

1. 1. Prijungimo sprendimas (jungtukas).
   2. Atskyrimo sprendimas (disjunkcija).
   3. Sąlyginis sprendimas (poveikis).

Sprendimas arba jungtis (nuo LAT. Kartu su Sąjunga, komunikacija)

Naudota sąjunga ir. \\ T, taip pat kitomis sąjungomis ta prasme ir ( a, bet taip ir kt.).

Pavyzdžiui: "Ivanovas ir Petrovas yra įstatymo fakulteto studentai". Ir: "Ivanovas - įstatymo fakulteto studentas", Petrovas yra įstatymo fakulteto studentas. "

Sąjunga ir logika žymi "λ" arba "ir" pasirašyti ir paprastus sprendimus savo struktūroje bet kokiais kintamaisiais, pavyzdžiui, A ir B, kur yra pirmasis paprastas sprendimas, antrajame paprastame sprendime.

Jo schema: "a λ į". "A ir B" skaitymas, kur "A" ir "B" - kartu.

Atskyrimo sprendimas arba disjunkcija (nuo LAT. Disunitacija)

Naudota sąjunga arba (arba).

Kadangi Sąjunga arba (arba) naudojama natūralioje kalboje dviejose vertybėse - jungiantis ir išskirtiniu ir išskiriant dalijimąsi, tada turėtų būti išskirti dviejų rūšių disjunkcija:

1. 1. silpnas (netinkamas) ir
   2. stiprus (griežtas).

Sprendimas dėl atskyrimo (silpnas disjunkcija) - tai yra sudėtingas sprendimas, kuriame paprasti sprendimai jame nėra vieni kitiems.

Pavyzdžiui: "Studentas gali pripažinti diktato ar skyrybos klaidą."

Šiame pavyzdyje, du paprastus sprendimus, sujungtus Sąjungoje arba. \\ T:

1. "Studentas gali pripažinti rašybos klaidą diktacijoje",
2. "Studentas gali leisti skyrybos klaida diktato."

Kadangi studentas gali būti leidžiamas diktavimo ar tik rašybos, arba tik skyrybos klaida, arba ir kita - šis sprendimas yra silpnas. Šio sprendimo nariai neatmeta vieni kitų.

Silpnas disjunkcija žymi ženklu "V".

Sprendimo sistema "A V B" yra skaitoma "A arba B".

Išskyrus atskyrimą (griežtas disjunkcija) - Tai yra sudėtingas sprendimas, kuriame paprastieji sprendimai yra vieni kitiems.

Pavyzdžiui: "Žmogus yra gyvas arba miręs."

Šiame pavyzdyje, du paprastus sprendimus, sujungtus Sąjungoje arba. \\ T:

1. "Žmogus gyvas",
2. "Žmogus yra miręs."

Griežta disjunkcija žymi žymės viršuje. Šis sprendimas yra skaitomas: "arba, arba b". Griežtos disjunkcijos nariai vieni kitus neįtraukia, vadinamos alternatyvomis.

Sąlyginis sprendimas ar poveikis (nuo lat. Imploco - aš glaudžiai susieti).

Natūralios kalbos sąlygos perdavimas, mes pradedame nuo žodžio "Jei", todėl poveikis naudoja Sąjungą jei tada ... .

Žymi ženklą "→".

Sprendimo schema: "A → B". Taip: "Jei a, tada."

Pavyzdžiui: "Jei supjaustėte laidą, lemputė išeis."

Pirmasis sprendimas (bazė) "vielos supjaustyti", antrasis (pasekmė) - "lemputė išėjo".

Sprendimas "A" vadinamas pagrindu arba ankstesniu (nuo lat. Antekedens - ankstesnis, ankstesnis), sprendimas "B" - pasekmė arba dėl to (nuo LAT. Nutinka - pasekmė).

Dvigubas poveikis arba lygiavertiškumas

Naudota sąjunga jei ir tik jei ... tada … (tada ir tik tada, kai …).

Pavyzdžiui: "Jei studentas išlaikė visus stendus ir egzaminus, jis gali būti išverstas į kitą kursą."

Lygiavertiškumas nurodomas ženklu "↔".

Schema: "a ↔ b". Taip: "Jei ir tik tada, jei a, tada."

Skirtumas tarp poveikio ir lygiavertiškumo:

• Jei pasekmės keičia bazę ir pasekmes vietose, teismas nustos būti tiesa, bus tik tikėtina. Pavyzdžiui: "Jei variklis stendai, mašina nebus" - tikras sprendimas. Priešingai, teismo sprendimas "Jei automobilis nevyksta, tada variklis stendai yra tik tikėtina.
• Lygiavertiškumu, bazės pertvarkymas ir tyrimas nesukelia sprendimo svarbos pokyčio. Pavyzdžiui: "Jei išskiriančio sprendimo subjektas ir predikatas sutampa tūrio, tada abu platinami" kaip tiesa, taip pat sprendimas "Jei objektas ir viešai prieinamo sprendimo predikatas yra platinamas, jų apimtis sutampa." Lygiaverčiai sprendimai yra lygiaverčiai.

Pažymėtina, kad jei kartu, silpnos ir griežtos disjunkcijos gali būti daugiau nei du sprendimo nariai, \\ t Į pasekmes ir lygiavertiškumą, gali būti tik du.

Sudėtingi sprendimai sudaromi iš visų jų junginių paprastųjų. Paprastai paprastų ir sudėtingų sprendimų charakteristikos nesukelia sunkumų. Tačiau situacijos yra įmanoma, kai siena tarp paprastų ir sudėtingų sprendimų turėtų būti pripažinta tam tikru mastu sąlygojant. Tai reiškia tokias struktūras, kuriose jis nėra be priežasties, gali būti identifikuojami kaip vienas pareiškimas (arba atsisakymas) ir du, trys. Išsamaus teismo vertinimas kaip paprastas ar sudėtingas tam tikru mastu priklauso nuo mokslininko pozicijos. Paimkite sprendimą: "Šis asmuo yra ATS pareigūnas ir sportininkas." Tai gali būti laikoma paprasta, jei jūs einate iš to, kad frazė "OVD ir sportininko pareigūnas" išreiškia vieną koncepciją. Kita vertus, mes galime manyti, kad asmuo kalba apie tai darbuotojas, bet niekada užsiėmęs sporto. Pasirodo, kad svarstomas dizainas kartu su tikra informacija yra klaidinga. Ši klaidinga informacija negali būti sudaryta "sportininko" sąvoka, nes sąvoka neturi tiesos prasmės. Tiesos vertės teisės aktų vežėjai. Bet ar vienas sprendimas yra dviejų tiesos vertybių vežėjas? Tai įmanoma tik tuo atveju, kai sprendimas susideda iš dviejų sprendimų, t.y. Jis yra sudėtingas. Taigi, yra priežastis interpretuoti šį sprendimą kaip kompleksą, kurį sudaro du teiginiai: "Šis asmuo yra ATS darbuotojas" ir "šis asmuo sportininkas".

Sudėtingų sprendimų tipai logiškos sąjungos pobūdžiu.

1. Konjunktyvi(arba jungiantis) sprendimus. Jie yra suformuoti iš pradinių paprastų sprendimų pagal logišką sąjungą "ir" (simboliškai "") a  in, t.e. A ir V. rusų kalba, logikos sąjunga kartu išreiškia daug gramatinių sąjungų: ir, bet, nors ir, nepaisant to, kad. "Aš eisiu į institutą, nepaisant to, kad turite sunkiai dirbti." Kartais nereikia jokių sąjungų. Čia yra vieno iš XX a. Pradžios pradžios pirmininkų, "mes turime naują erą, kurioje akivaizdžiai valdysime pasaulį."

Galbūt 4 metodai derinant du pirminius sprendimus "A" ir "B", priklausomai nuo jų tiesos ir klaidingumo. Junginys yra teisingas vienu atveju, jei kiekvienas iš sprendimų yra teisingas. Yra jungties lentelė.

2. Dacnerter (atskyrimo) sprendimai.

a) silpnas (nežekys) disjunkcija formuoja logiška sąjunga "arba". Jai būdinga tai, kad vieningi sprendimai neatmeta vieni kitų. Formulė: ir v į (a arba c). Sąjungos "arba", "arba" čia naudojami atskirai ir jungiamosios vertės. Pavyzdys: "Pons yra advokatas ar sportininkas." (Jis gali būti advokatas ir sportininkas tuo pačiu metu). "Helabe of Disjunction" yra teisinga, kai bent vienas iš sprendimų yra teisingas.

Reikšmė tarp kartu ir silpna disjunkcija tam tikruose santykiuose yra sąlyginis.

b) stiprus (griežtas) - logiška sąjunga "nei ... arba" ,. \\ t Jo komponentai (alternatyvos) vieni kitus neįtraukia: ir V. (arba arba C). Jis išreiškiamas iš esmės tokiomis pačiomis gramatinėmis priemonėmis kaip silpnas: "arba", "arba", bet kitoje atskyrimo - išskirtinės vertės. "Mes išgyventi ar pražusime". "Amnestija yra dažna arba dalinė." Griežta disjunkcija yra teisinga, kai vienas iš sprendimų yra tikrai, o kitas yra klaidingas.

Ir. \\ T

3. Imblicative. (sąlyginiai sprendimai). Jie sujungia sprendimus pagal loginę sąjungą "Jei ..., tada", tada ..., kai "(simbolis" → "), (ir → į; jei a, tada c). "Jei oras tampa geresnis, mes surasime nusikaltėlių pėdsakus." Sprendimas, kuris stovi po žodžių "Jei", "tada" vadinama antefeedent (ankstesniais) arba pagrindu ir stovint po "tada", ", kai" yra tai (vėliau) arba pasekmė. Tiesa, tiesa visada, be to, kai pagrindas yra teisingas, ir klaidingai. Būtina prisiminti, kad Sąjunga "jei ..., tada" taip pat gali būti naudojama panašioje prasme ("Jei pats milteliai buvo išrastas Kinijoje senovėje, tada ginklai, pagrįsti miltelių savybių naudojimu, kurį jis pasirodė Europoje tik viduramžiais ") ir, kaip ji yra lengva patikrinti, ji gali būti išreikšta visais reikšmiais, bet kartu.

4. Ekvivalentas (lygiaverčiai) sprendimai. Jie sujungia sprendimus su abipuse (tiesiogine ir atvirkštine) priklausomybe. Jis sudaro logišką sąjungą "Jei ir tik jei ..., tada", tada ir tik tada ..., kai "," tik pagal sąlygą "," tik tuo atveju, "simbolis" ↔ "(a ↔ b b ), jei ir tik tada, jei C). "Jei tik tuo atveju, jei pilietis turi didelį nuopelnus Rusijos Federacijai, ji turi teisę gauti aukštą Rusijos herojaus įsakymą. Taip pat naudojami ženklai "\u003d", "≡". Lygiavertiškumas yra teisingas, kai abu sprendimai yra teisingi, arba abu yra klaidingi.

Lygiavertiškumas gali būti aiškinamas tiek kaip dviejų pasekmių, tiesioginių ir atvirkštinio: (p → q)  (q → p). Teisėta kartais vadinama dviguba.

Apibendrinant pirmiau sudėtingus sprendimus, reikėtų pažymėti, kad tam tikras paskirstymas ir vadinamasis sprendimas (sąjunga ", jei ... tada", simbolis "● →". Tai yra kontrolės požymis. Reikšmė Iš šios priežasties antikuolimo situacija neturi vietos, tačiau jei ji egzistavo, tai būtų konkrečios valstybės narės būklė. Pavyzdžiui: "Jei Ponya buvo Krasnojarsko meras, tai negyvena viešbutis."

Sudėtinga yra teismo sprendimas, kurį sudaro keli paprastieji, susieti raiščiai. Išskiria šiuos sudėtingų sprendimų tipus: 1) prijungimas, 2) atskyrimas, 3) kietųjų dalelių | , 4) yra lygiaverčiai. Tokių sudėtingų sprendimų tiesą lemia jų įprastos tiesos tiesa.

1. Jungiantys (konjunktyviniai) sprendimai, J

Prijungimas, arba konjunktyvinis vadinamas sprendimas, su "stovint iš kelių paprastų, susieti logika" ir ". Pavyzdžiui, sprendimas" vagystė ir sukčiavimas susiję su tyčiniais nusikaltimais "yra jungiamasis sprendimas, kurį sudaro du paprasti:" vagystė nurodo tyčinius nusikaltimus "," Sukčiavimas susijęs su tyčiniais nusikaltimais. "Jei pirmasis reiškia P, ir antrasis - q, tada jungiantis;

sprendimas gali būti simboliškai išreikštas P L Q, kur P ir Q - nariai. ^ Jungtis (arba konjunktomis), l yra jungties simbolis. |.

Natūrali kalba, jungiamasis krūva gali būti aprūpinta tokiomis išraiškomis kaip: "A", bet ",", ",", ", kaip", ",", 1 ", nors", ",", nepaisant "," tuo pačiu metu Laikas: "ir kiti. PAVYZDYS: "Sukuriant teisės aktus, kuriems taikoma nuoroda | Reikėtų atsižvelgti ne tik žalos ,! P), bet ir konkreti aplinka, kurioje buvo nuostoliai. CHANGS (Q), taip pat darbuotojo finansinė padėtis (G). Sim-, |. Išsamiu būdu šis sprendimas gali būti išreikštas kaip: P L Q

Prijungimo sprendimas gali būti dviejų ir kelių aukštų; Simboliniu įrašu: P L Q L G L ... L P. Mes pateikiame sprendimo prijungimo pavyzdį, kuriame yra daugiau nei 20 konjunktūrų:

"Įspėjimas skauda per bumps, mirksi kabinos, moterys, berniukai, parduotuvės, žibintai, rūmai, sodas, sodai, prekybininkai, barnai, vyrai, bulvarai, bokštai, kazokai, vaistinės, mados parduotuvės, balkonai, liūtai Ant vartų ir šoko pakuotės ant kryžių. "

(A. Puškinas)

Kalba, jungiamasis sprendimas gali būti išreikštas vienoje iš trijų loginių gramatinių struktūrų.

1. Jungiamoji paketas pateikiamas sudėtingame tema pagal schemą: SI ir S2 yra R. Pavyzdžiui: "Nekilnojamojo turto konfiskavimas ir pavadinimų atėmimas yra papildomi baudžiamieji įstatymai".

2) Paketas pateikiamas sudėtingame predikate pagal schemą: S yra PI ir Pi. Pavyzdžiui: "nusikaltimas yra socialiai pavojingas ir neteisėtas veiksmas".

3) Bundle yra atstovaujama pirmųjų dviejų metodų derinys pagal schemą: SI ir SI yra PI ir P2. Pavyzdžiui: "Su Polyzmeister ir prokuroro" Nozmens "taip pat buvo" jūs "ir kreipėsi draugiška" (N.V. Gogol). R q Paq ir I. ir l l l l l l l l l l l

Jungiamoji teismo sprendimas yra tikrai tiesa su visų jo konjunktomis ir klaidingai su bent vieno iš jų klaidingumo. Tiesos sąlygos sprendimo PLQ rodomi lentelėje (pav. 31), kur tiesa yra nurodyta ir, ir melas - L. pirmųjų dviejų stulpelių R ir Q yra laikomi nepriklausomiems ir todėl pagaminti todėl yra pagaminti Visi galimi vertybių deriniai ir L: Ai, Il, Lee, ll. Trečiasis stulpelis rodo sprendimo P L Q. vertę. Iš keturių building parinkčių, tai tik pirmoje eilutėje, kai abu konjunktai yra tiesa: ir p ir q. Visuose Figai 31 kiti atvejai yra klaidingi: 2

ir 3 eilutės dėl vieno iš narių klaidingumo, o 4-oji dėl abiejų narių likimo.

2. Atskirkite (disjunkcinius) sprendimus.

Atskirstymas arba disjunkcinis, yra vadinamas teismo sprendimu, jo nuolatiniu paprastais, sujungtais loginiais ryšiais "arba". Pavyzdžiui, sprendimas "pardavimo sutartis gali būti sudaryta per burną arba raštu" yra padalintas. Sprendimas, kurį sudaro du paprasti: "įsigyta sutartis;

gyvenimas gali būti uždarytas žodžiu "; "Įsigyta pardavimo sutartis? Galima sudaryti raštu. "

Jei pirmasis P, ir antrasis - Q, tada atskyrimas simbolizmo! Jis gali būti išreikštas P V Q, kur P ir Q - disjunkcijos nariai (Dizuyur), V yra disjunkcijos simbolis.

Atskyrimo sprendimas gali būti tiek du ir daug molio: P v Q v ... V p.

Į kalbą, atskyrimo sprendimas gali būti išreikštas vienas1 | Iš trijų loginių gramatinių struktūrų. ;

1) Atskyrimo paketas yra atstovaujamas sudėtingame temoje P2) Atskyrimo paketas yra atstovaujamas sudėtingame predikate P3) atskyrimo paketas yra atstovaujama pirmųjų dviejų metodų derinys pagal schemą: SI arba S2 yra PI arba P2. Pavyzdžiui: "LINK IL! išsiuntimas gali būti naudojamas kaip pagrindinis arba parinktis |

nOY sankcijos. " |.

Ne griežta ir griežta disjunkcija. Kadangi paketas "arba" paketas yra paspaudžiamas natūralia kalba dviem vertėmis - prijungimas ir išskirtinis atskirtas ryšys, po to seka dviejų tipų atskyrimo sprendimai: 1) ne griežti (silpna) "Zyunction" ir 2) griežta (stipri) disjunkcija.

1) Neišsakto disjunkcija yra teismo sprendimas, kuriame krūva "arba yra naudojama jungiančioje ir skiriama verte (SI" (OV V). Pavyzdžiui: "šalto ginklai gali būti labai svarbūs" simboliškai p v Q. a Bundle "arba" šiuo atveju f akcijas, nes yra tokių tipų ginklai atskirai ir vienetai ^ už yra ginklas, tuo pačiu laiko tortu ir pjaustytuvu

Šio veido (32 pav.) Pateiktos neakto sutrikimo tiesos sąlygos. Sprendimas P V Q bus tiesa su XG tiesa būtų vienas narys iš disjunkcijos (1, 2, 3rd stygos - II, IL, L!

P q pvq ir l ir l ir l ir l l l L l l

Disjunkcija bus klaidinga su abiejų jos narių klaidingumas (4-oji eilutė - лл).

2) griežta disjunkcija - sprendimas, kuriame paketas "arba" naudojamas dalijimosi verte (simbolis?). Pavyzdžiui: "Aktas gali būti tyčinis ar neatsargus", simboliškai r? q. q.

Nariai griežtos disjunkcijos, vadinamos alternatyvomis, negali būti vienu metu tiesa. Jei aktas yra atliekamas tyčia, jis negali būti neatsargus, ir, priešingai, - Aktas padarytas dėl aplaidumo negali būti priskirtas sąmoningai. p q p ^ q ir l ir l ir l ir l ir l l L l

Lentelėje pateiktos griežtos disjunkcijos tiesos sąlygos (33 pav.). SPRENDIMAS R? Q bus tiesa vienos ir klaidingos kitos valstybės (2 ir 3 eilučių IL, LEE) tiesoje; Tai bus klaidinga, jei abu nariai yra teisingi (1 eilutė - II) arba tiek klaidinga (4 eilutė - лл). Taigi, griežtos disjunkcijos sprendimas bus teisingas vienos alternatyvos ir klaidingos - tiek su vienu metu alternatyvų, tiek vienalaikės alternatyvų tiesos.

Atskyrimo krūva kalba paprastai išreiškiama sąjungų "arba", "," arba ". Siekiant sustiprinti disjunkciją į alternatyvią reikšmę, abejojamos sąjungos dažnai naudojamos: vietoj žodžio "P arba Q", jie naudoja "arba p, arba q", ir kartu "P arba Q" - "arba P arba Q". Kadangi nėra vienareikšmių sąjungų gramatikos nestandartiniu ir griežtu atskyrimu, teisinių ir kitų tekstų disjunkcijos klausimas turėtų būti išspręstas prasmingos atitinkamų sprendimų analize.

Teisiniuose, politiniuose ir kituose kontekstuose disjunkcija naudojama sąvokų turiniui ir tūrybai atskleisti, apibūdinant nusikaltimų ar sankcijų rūšį, apibūdinančias nusikaltimų ir civilinių nusikaltimų kompozicijas.

Visiškai ir neišsami disjunkcija. Tarp disjunkcinių sprendimų turėtų būti išskirtos visapusiškos ir neišsamios disjunkcijos.

Užpildytas arba uždarytas yra disjunkcinis sprendimas, kuriame išvardijami visi tam tikro tipai.

Simboliškai šis sprendimas gali būti įrašytas taip. " Pavyzdžiui: "Miškai yra lapuočių, spygliuočių il" sumaišyti. " Šio atskyrimo pilnumas (simboliniu įrašu ^ nurodomas ženklu<...>) Tai lemia tai, kad nėra esamų be nurodytų, kitų rūšių miškų. |.

Neišsamus arba atvirai vadinamas disjunkciniu sprendimu ^, kuriame išvardyti ne visi ženklai ar ne visų rūšių tam tikrų rūšių. Simboliniame įraše apie nesąžiningą disjunkciją galite! išreikšti dot: p v Qv r v ... natūralios kalbos ne | Disjunkcijos pilnumas išreiškiamas žodžiais; "Ir pan.", "Ir kt", "ir tada" kaip "," kiti "ir kiti.

3. Sąlyginiai (impraticative) sprendimai.

Sąlyginis, ar impraticative yra vadinamas teismo sprendimu, kurį sudaro dvi paprastos, sujungtos loginės obligacijos "jei .., tada ...", pavyzdžiui: "Jei saugiklis lydosi, tada" Electrolm "dujos | ne ". Pirmasis sprendimas - "Saugikliai lydiniai" vadinama "Tercedententas (ankstesnis), antrasis -" Electrolymba Gojsnnet "-Conceiver (vėliau). Jei pirmtakas rodo R, su tuo - Q ir krūva", jei. .. "..." "" -\u003e ", tada netiesioginis sprendimas gali būti simboliškai išreikštas P-\u003e Q:

Įstikimo sprendimo tiesos sąlygos pateiktos lentelėje (34 pav.). Visais atvejais tiesa, išskyrus vieną: p q p- "q ir l l l ir l l

su ankstesnių ir pasekmingos (2 linijos) klaidingumo, poveikis visada bus klaidingas, tikrojo priešeko derinys, pavyzdžiui, "saugiklis" ir netikras Consexer - "Electrolmm" nėra "- yra poveikio indeksas. I.

Poveikio tiesa paaiškinama taip. 1-ojoje eilutės tiesoje p

"Q" tiesa arba kitaip tariant, prieštaravimo tiesa yra pakankama, kad būtų atpažintas dėl to. Ir iš tiesų, jei saugiklis lydosi, elektrolmas būtinai išeis dėl jų nuoseklaus įtraukties į elektros grandinę.

Trečioje eilutėje su klaidinga ankstesnė, "saugiklis nėra ištirpęs" Consexentient yra tiesa - "Electrolm" išeina. " Situacija yra gana leistina, nes saugiklis negali lydyti, o elektrolmas gali išeiti dėl kitų priežasčių - dabartinės grandinės trūkumas, gijos siūlai, uždarymas

laidai ir kt. Taigi, Q Q Falsity P Neneigiama idėjos dėl sąlyginės priklausomybės tarp jų buvimo, nes su tiesa P, jis visada bus tiesa ir q.

4-ojoje eilutėje su klaidinga ankstesnė - "saugiklis nėra ištirpęs" yra klaidingas ir su tuo - "" Electrolm "neišeina." Ši situacija yra įmanoma, tačiau ji nekelia abejonių dėl priklausomybės priklausomybės P ir Q, nes su tiesa, tai visada bus tiesa Q.

Natūrali kalba, ne tik Sąjunga ", jei ..., tada ...", bet ir kitos sąjungos, skirtos išreikšti sąlyginius sprendimus.

"Ten ..., kur", ", tada ..., kai ...", "Inc. ... nes ..." ir tt Atsižvelgiant į sąlyginius sprendimus kalba, tokios objektyvios nuorodos tipai, kaip priežastinis, funkcinis, erdvinis, laikinas, teisėtas, ir semantinis, loginių ir kitų priklausomybių gali būti pateikta. Priežastinio sprendimo pavyzdys gali būti toks kaip šis pareiškimas: "Jei vanduo yra šildomas įprastu atmosferos slėgiu iki 100 ° C, jis virimo." Semantinės priklausomybės pavyzdys: "Jei numeris yra padalintas į 2 be liekanų, tai yra net."

Teisinių tekstų sprendimų sąlygų forma, teisinės instrukcijos dažnai nustatomos: leidimai, draudimai, pasiūlymai. Poveikio gramatiniai rodikliai gali tarnauti, be Sąjungos "Jei ..., tada ...", tokios frazės, pavyzdžiui: "Jei yra ..., tai reiškia", ",", Tai taip ... "," Būklė ..., ateina ... "ir kiti. Tuo pačiu metu teisinės pasekmės gali būti pastatytos įstatymuose ir kituose tekstuose be specialių gramatinių rodiklių. Pavyzdžiui: "slaptas pagrobimas kažkieno turto (vagystės) yra baudžiama ..." arba "akivaizdžiai klaidingas denonsavimas apie nusikaltimą yra nubaustas ...", ir tt Kiekvienas iš šių receptų yra impraticacinės formulės: "Jei yra įvykdytas tam tikras neteisėtas veiksmas, tai atitinka teisinę sankciją."

Atsižvelgiant į sąlyginius sprendimus, dažnai išreiškia logines priklausomybes tarp pareiškimų. Pavyzdžiui: "Jei yra baudžiama visa nusikaltėlis, tada ne viskas yra baudžiama baudžiamojon atsakomybėn." Arba dar vienas argumentavimo pavyzdys: "Jei tiesa, kai kurie paukščiai skrenda į šiltus kraštus žiemą, tai nėra tiesa, kad nė vienas paukštis skrenda į šiltus kraštus."

Atsižvelgiant į sąlyginį sprendimą, Antiekodas atlieka faktinės ar loginės bazės, kurią sukelia atitinkamo poveikio priėmimui, funkciją. Priklausomybė nuo ankstesnės bazės ir pasekmių yra būdingas pakankamumu. Tai reiškia, kad Fondo tiesa

patobulina tyrimo tiesą, t.y. Su OSN tiesa, tyrimas visada bus tiesa (žr 1 lentelėje 34 lentelėje). Šiuo atveju bazę nėra būdingos alya būtinybės nuosavybė. Corollary, nes su savo klaidingumu, tyrimas gali būti tiek tiesa, tiek klaidinga (žr 3 ir 4 eilutes fig.34 lentelėje).

4. lygiaverčiai sprendimai (dvigubai poveikis). Lygiavertis vadinamas teismo sprendimu, kuris yra kaip papildomas. ^ Sudėtiniai du sprendimai, susiję su dvigubu (tiesioginis ir atvirkštinis priklausomybė nuo loginio paketo, jei tik jei aš.

.., tada ... ". Pavyzdžiui: "Jei tik tuo atveju, jei asmuo yra užsakymuose ir medaliai (P), ji turi teisę vežti atitinkamas odden lentynas (q)."

Šio sprendimo logiška savybė yra, 41 sutarties sudarymo patvirtinimo (P) tiesa yra laikoma ir "būtina ir pakankama sąlyga, kad" Teisė į "(Q) patvirtinimo tiesa ). Panašiai patvirtinimo tiesos apie teisę į dėvėti užsakymą! (Q) Tai yra būtina ir pakankama sąlyga pareiškimo tiesai, kad šis asmuo yra apdovanotas atitinkamu tvarka arba medaliu (P). Tokia abipusė priklausomybė yra simboliškai gali būti išreikšta dvigubai PT q poveikio, kurią skaito: "Jei tik jei p, tada q". " Lygiavertiškumas išreiškiamas kitu ženklu: P \u003d Q.

Natūralia kalba, įskaitant teisinius tekstus. Lygiaverčių sprendimų išraiškos naudoja sąjungas: "Tik su. Sąlyga, kad ..., tada ... "," toje ir tik tada, kai .. ^ tada ... "," tik tada, kai ..., tada ... "ir kiti. p q p \u003d q ir abi ir ir ir ir ir l l L l

Pateikiamos lygiaverčio sprendimo tiesos sąlygos lentelėje (35 pav.). SPRENDIMAS P \u003d. TRUE tais atvejais, kai abu sprendimai gauna tą pačią vertę, tuo pačiu metu yra teisinga (1 eilutė), LIBV FALSE (4 eilutė). Tai reiškia | Kokia tiesa P yra pakankama | TRUE Q pripažinimas ir atvirkščiai. 1 RIS-35 santykiai tarp jų yra būdinga

ir, jei reikia: veltinis P tarnauja kaip veltinio q indikatorius, o veltinis Q rodo veltinio upę.

Apibendrinant, mes pateikiame suvestinę lentelę sudėtingų sprendimų tiesos sąlygų (36 pav.). P q Paq Pvq p q p- "q psq ir abu ir tiek ir ir l l ir ir ir l l L l ir ir ir

Sudėtingi sprendimai ir normų aiškinimas.

(^ klaidingi sprendimai - prijungimas, atskyrimas, sąlyginis ir lygiavertis - yra naudojami įprastiniais argumentais ir teisiniu kontekstu tiek nepriklausomai, tiek kartu, t. Y. įvairiuose deriniuose. Pavyzdžiui, sprendime jungiančiame sprendime gali būti naudojami kaip junginiai: (Р VQ L (MV P). Sprendimų prijungimas gali būti sprendimas dėl atskyrimo, kaip ir jo nariai, pavyzdžiui: (P NQ) V (MLP). Atsižvelgiant į sąlyginį sprendimą, taip pat gali būti konjunkcinės arba disjunkiškai susiję sprendimai, pavyzdžiui: (P VQ) -\u003e (MLP).

Su sudėtingų sprendimų deriniu, reguliavimo receptai apibūdina, nustato teisines sąvokas, taip pat nusikalstamų veikų ir deliquets sudėtį. Įstatymo normų ir įvairių teisinių dokumentų normų aiškinimo procese (sutartys, susitarimai ir kt.), Atsargi ir tiksli jų struktūros logika ir gramatinė analizė, loginių ryšių tipų ir sekų tarp sudėtingų sprendimų sudedamųjų dalių identifikavimas reikalingi.

Svarbus vaidmuo tai atlieka tokie techniniai ženklai kaip skliausteliuose. Logice jų funkcija yra panaši į skliaustų naudojimą matematikos kalba. Pavyzdžiui, aritmetinė išraiška "2 x 3 4 \u003d ..." negali būti atpažįstami kaip aiški ir aišku, kol bus sukurta dauginimo ir papildomų operacijų seka. Vienu atveju, jis užima vertę "(2 x 3) 4 \u003d 10", kitame "2 x (3 4) \u003d 14".

Tai nesiskiria tikrumo ir pareiškimo - "nusikaltimas padarytas A ir B arba C", nes tai nėra aišku, kuris iš dviejų loginių raiščių - kartu arba disjunkcija - yra pagrindinis. Pareiškimas gali būti aiškinamas kaip "A ir (B arba C)"; Jis gali būti aiškinamas kitaip - "(A ir B) arba C." Logiška reikšmė, šie du pareiškimai yra toli gražu lygiaverčiai.

Pavyzdžiui, aš nustatysiu struktūrą ar loginę formą, straipsnius, numatančius sukčiavimo atsakomybę, kuriame pateikiama: "Piliečių asmeninės nuosavybės pasidalijimas arba teisės į turtą įsigijimą per apgaulę ar piktnaudžiavimą pasitikėjimu ( Sukčiavimas) yra baudžiama laisvės atėmimu iki dvejų metų su bauda .. arba pataisos darbas iki dvejų metų. "

Apskritai, šis pareiškimas, nepaisant akivaizdžių gramatinių rodiklių nebuvimo, yra sąlyginis sprendimas "D-". Kaip antikedentas, nurodomi teisiškai reikšmingi veiksmai (d) ir kaip ir sankcija (-os). Tuo pačiu metu, prieštaravimas ir dėl to yra sudėtingos struktūrinės formacijos.

Antekadoje (D) veiksmai yra išvardyti, bendrose sukčiavimo komponentuose: "Piliečių asmeninė nuosavybė (DI) arba teisės į teisės įsigijimą

turto (D2) iki apgaulės (DI) arba pasitikėjimo piktnaudžiavimas (D4). Gramatika. CUE analizė leidžia pateikti ryšį tarp veiksmų, pažymėtų šioje formoje: DI arba D2 ir D3 arba D4; Simboliškai - (DI V DZ) l (D3 VD4). Žinoma, ši anektorinio forma nesiskiria pakankamai tikra, nes aš dvigubai skaityti: pirmoji versija (DI V DZ) N (D3 V D4); Antrasis variantas DI V (D2 L ((D3 V D4)).

Šiuo atveju gramatinė straipsnio analizė turėtų būti papildyta logiška, tuo pačiu palyginti sukčiavimo koncepciją su kitais turto "nusikaltimais, galima daryti išvadą, kad viena iš dviejų prielaidų yra teisinga. Pagal sukčiavimą šiuo atveju, Dais Viya, susijusios su asmeninės nuosavybės dalijimosi piliečių ar su teisės į turtą dalijimosi; Tuo pačiu metu, tiek pirmoji, tiek antroji yra vykdoma sukčiavimo) arba piktnaudžiavimo pasitikėjimu. Tokie pojūčiai yra atstovaujami pagal formulę (D2 V D2) L (D3 V D4).

Suteikia sudėtingą sankciją: sukčiavimą "nubausti laisvę iki dvejų metų (SI) su ... ($ 2) arba pataisos darbu iki dvejų metų (S3)." Santykiai tarp kompozitinių dalių yra tokia forma: SI ir S2 arba 8Z, arba simboliškai (((SI L S2) V SA). Loginis teksto analinis rodo, kad toks aiškinimas yra vienintelis įmanoma.

Jei pradinis sprendimas d- "išsamiai laikantis atliktos analizės, tada straipsnis apie sukčiavimo pateikiamas šiomis formomis

((DI V D2) L (D3 V D4)) -\u003e ((SI L S2) V S3)

Pagrindinis šio sudėtingo sprendimo požymis yra poveikis: palikuonys yra galimybė, kurios abu nariai yra disjunkcinė išraiška; Todėl sprendimas - disjunkcinė išraiška, vienas iš logiškos sudėtingų pareiškimų, turinčių simbolinę kalbą, globos išaiškinimu paaiškinti teisinių kontekstų reikšmę! Efektyvus būdas tiksliai interpretuoti ir tinkamai naudoti normas (teisinis procesas.