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.