Loginių klasių teorija. Įvertinkite sąvokos apibrėžimo taisyklingumą (raskite klaidą, jei yra), nustatykite apibrėžimo rūšį. Suskirstykite loginę klasę į poklasius ir nurodykite skirstymo rūšį. Nustatykite sąvokų (loginių klasių) santykius. Teiginių logika. Formalizuokite šiuos teiginius. Sudarykite teisingumo lentelę (matricą) šiai išraiškai. Parodykite samprotavimo pagrįstumą formaliosios dedukcijos metodu. Tik perskaitę vadovėlio skyrių apie Silogistikos teoriją, išspręsite šiuos uždavinius. Padarykite išvadą iš šių prielaidų (jei teisinga išvada negalima – paaiškinkite kodėl). Įvertinkite silogizmo taisyklingumą. Jūsų žinios apie Įrodymą ir Argumentaciją, jų taisykles ir klaidas padės spręsti šiuos uždavinius. Raskite tezę, argumentus (ir nustatykite klaidų pobūdį, jei jos yra). Įrodykite arba paneikite šią tezę. Sudaryti trumpą svarbiausių logikos terminų žodynėlį (ne daugiau 10 terminų).