Teiginių logika Civiliniame kodekse

1. Suformalizuokite 5 laisvai pasirinktus Civilinio proceso kodekso straipsnius teiginių logikos priemonėmis (ne mažiau 4 atomų).
1) Lietuvos Respublikos CPK 1 str. 2 d. Jeigu yra prieštaravimų tarp šio Kodekso ir kitų Lietuvos Respublikos įstatymų, teismas vadovaujasi šio Kodekso normomis, išskyrus atvejus, kai šis Kodeksas suteikia pirmenybę kitų įstatymų normoms.
A – „Yra prieštaravimai tarp šio Kodekso įstatymų“.
B – „Yra prieštaravimai tarp kitų Lietuvos Respublikos įstatymų“.
C – „Teismas vadovaujasi šio Kodekso normomis“.
D – „Šis kodeksas suteikia pirmenybę kitų įstatymų normoms“.
2) Lietuvos Respublikos CPK 3 str. 6 d. Jeigu įstatymai ar ginčo šalių susitarimas numato, kad tam tikrus klausimus teismas sprendžia savo nuožiūra, teismas tai darydamas privalo vadovautis teisingumo, protingumo ir sąžiningumo kriterijais.
A – „Įstatymai numato, kad tam tikrus klausimus teismas sprendžia savo nuožiūra“.
B – „Ginčo šalių susitarimas numato, kad tam tikrus klausimus teismas sprendžia savo nuožiūra“.
C – „Teismas vadovaujasi teisingumo kriterijais“.
D – „Teismas vadovaujasi protingumo kriterijais“.
E – „Teismas vadovaujasi sąžiningumo kriterijais“.
(A  B) → (C  D  E)
3) Lietuvos Respublikos CPK 34 str. 2 d. 3 p. Jeigu, nušalinus vieną ar kelis teisėjus ar teisėjams nusišalinus, jų pakeisti kitais tame teisme negalima.
A – „Nušalinamas vienas teisėjas“.
B – „Nušalinami keli teisėjai“.
C – „Teisėjai nusišalina“.
D – „Teisėjus pakeisti kitais teisme galima“.
(A  B  C) → ~ D
4) Lietuvos Respublikos CPK 35 str. 4 d. Jeigu kaip byloje dalyvaujantis asmuo yra teisėjas, o byla teisminga teismui, kuriame jis dirba, arba teisme, kuriam teisminga byla, teisėju dirba byloje dalyvaujančio asmens artimieji giminaičiai (išskyrus Lietuvos Aukščiausiąjį Teismą, Lietuvos apeliacinį teismą), sutuoktinis (sugyventinis), aukštesniosios pakopos teismo pirmininkas ar Civilinių bylų skyriaus pirmininkas perduoda tokią bylą nagrinėti kitam tos pačios pakopos teismui.
A – „Kaip byloje dalyvaujantis asmuo yra teisėjas“.
B – „Byla teisminga teismui, kuriame dirba teisėjas“.
C – „Teisme teisėju dirba byloje dalyvaujančio asmens artimieji giminaičiai“.
D – „Teisme teisėju dirba byloje dalyvaujančio asmens sutuoktinis (sugyventinis)“.
E – „Lietuvos Aukščiausiajame...

Daugiau informacijos...

★ Klientai rekomenduoja

Šį rašto darbą rekomenduoja mūsų klientai. Ką tai reiškia?

Mūsų svetainėje pateikiama dešimtys tūkstančių skirtingų rašto darbų, kuriuos įkėlė daugybė moksleivių ir studentų su skirtingais gabumais. Būtent šis rašto darbas yra patikrintas specialistų ir rekomenduojamas kitų klientų, kurie po atsisiuntimo įvertino šį mokslo darbą teigiamai. Todėl galite būti tikri, kad šis pasirinkimas geriausias!