8 užduotys su atsakymais. Iš mokslinės literatūros šaltinių išrinkite 10 sudėtinių teiginių ir juos suformalizuokite. Lietuvos Respublikos (LR) Administracinių teisės pažeidimų kodeksas (ATPK) straipsnių formalizavimas. Pateiktoms loginėms formulėms sugalvokite ir parašykite jas atitinkančius sudėtinius sakinius (būtinai užrašykite atomų reikšmes). Sudarykite pateiktų formulių teisingumo lenteles. Išanalizuokite samprotavimus. Duotoms schemos sugalvokite aibių, atitinkančių nurodytus santykius, pavyzdžius. Apibrėžkite duotąsias sąvokas ir nurodykite apibrėžimų rūšį. Įrodymas ir argumentacija.
|
Literatūros šaltiniai | 5 |
---|---|
Darbo lygis | Universitetinis |
Kursas | 4 kursas |
Darbo tipas | Uždaviniai |
Failas | logika.doc (38.15 KB) |
Argumentuotas tekstas logikos paskaitoms.
Argumentuotas tekstas. Privalomoji karo tarnyba.
Logikos argumentuotas tekstas. Geros darbo sąlygos UAB "Emilekstoje" – būtinos.
Logikos argumentuotas tekstas: Aštuonių darbo valandų grafikas geriau nei slenkantis. Išvados.
Aibių teorijos ir logikos pradžiamokslis. Įvadas. Teiginių logika. Teiginio apibrėžimas ir pavyzdžiai. Elementariej...