Logika (13)

Loginė minties struktūra. Formalizavimas. Logika. Pastovūs ir kintamieji loginiai dydžiai. Kas yra logika kaip mokslas? Logika ir filosofija. Logikos reikšmė. Teiginių logika. Teiginiai ir gramatiniai sakiniai. Loginis neigimas. Konjunkcija. Prieštaravimo dėsnis. Disjunkcija. Negalimo trečiojo dėsnis. Implikacija. Loginis ekvivališkumas (lygiavertiškumas). Simbolinio žymėjimo sistemos. Sudėtinių teiginių neigimas. Teiginių formalizavimas. Sudėtinio teiginio teisingumo reikšmės nustatymas, žinant paprastų teiginių teisingumo reikšmes. Loginių jungčių pakeitimas. Dvejybiškumas. Teiginių logikos dėsniai. Teiginių logikos taikymas samprotavimuose. Šnekamosios kalbos formalizavimas. Išsprendžiamumo problema. Išsprendžiamumo problemos sprendimas matricų metodu. Išsprendžiamumo problemos sprendimas, suteikiant loginėms išraiškoms normaliąją formą. Išraiškos konjunktyvi normalioji forma. Disjunktyvi normalioji logika. Teiginių logikos taikymas technikoje. Predikatų logika. Savybių teorija. Kvantoriai ir kintamieji savybių teorijoje. Savybių teorijos dėsniai. Išraiškų pertvarkymas savybių teorijoje. Formalioji implikacija. Santykių teorija. Santykių samprata. Veiksmai su santykiais. Santykio sudėtis. Santykių daugyba. Santykių kompozicija. Specialios loginės santykių savybės. Tapatybės santykis. Santykių teorijos dėsniai. Santykių išreiškimas savybių teorijos terminais. Išsprendžiamumo problema predikatų logikoje. Predikatų logikos taikymas filosofijoje. Loginių klasių teorija. Loginė klasė ir jos struktūra. Izomorfizmas ir homomorfizmas.