(8 darbai)
(5 puslapiai)
Logikos ir metodologijos mokymo programos IV varianto uždavinių sprendimai. Sprendinys, jo struktūra ir rūšys. Formalizuokite. Įrodykite samprotavimo pagrįstumą formaliosios dedukcijos metodu. Nustatykite, teisingas šis silogizmas (jei ne – paaiškinkite kodėl). Nustatykite apibrėžimo rūšį ir jo taisyklingumą (jei klaidingas – nurodykite klaidą). Nustatykite loginės klasės suskirstymo rūšį ir taisyklingumą. Atlikite konversiją šiam teiginiui. Skaityti daugiau(5 puslapiai)
Suformalizuoti 5 laisvai pasirinkti CPK straipsnius teiginių logikos priemonėmis (ne mažiau 4 atomų). Loginėms formulėms sugalvoti ir parašyti jas atitinkantys sudėtiniai sakiniai. Panaudojus būtiną specialią literatūrą apibrėžtos duotos sąvokos ir nurodyta apibrėžimų rūšis. Apibendrintos ir susiaurintos 4 loginės klasės. Teisingumo lentelė. Nurodant atomų reikšmes, pagal pateiktą loginę struktūrą užrašytas samprotavimas ir laisvai pasirinktu samprotavimų analizės metodu nustatytas jo pagrįstumas. Skaityti daugiau(5 puslapiai)
Suformalizuoti 5 laisvai pasirinkti CPK straipsnius teiginių logikos priemonėmis (ne mažiau 4 atomų). Loginėms formulėms sugalvoti ir parašyti jas atitinkantys sudėtiniai sakiniai. Panaudojus būtiną specialią literatūrą apibrėžtos duotos sąvokos ir nurodyta apibrėžimų rūšis. Apibendrintos ir susiaurintos 4 loginės klasės. Teisingumo lentelė. 6. Nurodant atomų reikšmes, pagal pateiktą loginę struktūrą užrašytas samprotavimas ir laisvai pasirinktu samprotavimų analizės metodu nustatytas jo pagrįstumas. Skaityti daugiau(9 puslapiai)
Suformalizuoti 5 laisvai pasirinkti CPK straipsnius teiginių logikos priemonėmis (ne mažiau 4 atomų). Loginėms formulėms sugalvoti ir parašyti jas atitinkantys sudėtiniai sakiniai. Panaudojus būtiną specialią literatūrą apibrėžtos duotos sąvokos ir nurodyta apibrėžimų rūšis. Apibendrintos ir susiaurintos 4 loginės klasės. Teisingumo lentelė. Nurodant atomų reikšmes, pagal pateiktą loginę struktūrą užrašytas samprotavimas ir laisvai pasirinktu samprotavimų analizės metodu nustatytas jo pagrįstumas. Schemoms sugalvoti aibių, atitinkančių nurodytus santykius, pavyzdžiai. Nubrėžtos silogizmų figūros ir užrašytos išvadas jei jas galima užrašyti, jei ne, paaiškinta kodėl. Skaityti daugiau(4 puslapiai)
Logikos užduotys. Loginių klasių teorija. Teiginių logika. Silogistikos teorija. Žinios apie įrodymą ir argumentaciją. Svarbiausių logikos terminų žodynėlis. Skaityti daugiau(6 puslapiai)
Logikos užduotys. Loginių klasių teorija. Teiginių logika. Silogistikos teorija. Įrodymas ir argumentacija. Skaityti daugiau(18 puslapių)
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. Skaityti daugiau(11 puslapių)
Logikos ir mokslo metodologijos užduočių sprendimai. Loginių klasių teorija. Teiginių logika. Silogistikos teorija. Skaityti daugiau
