Logika

LOGINĖ MINTIES STRUKTŪRA. FORMALIZAVIMAS. 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. IŠSPRENDŽIAMUMO PROBLEMA. IŠRAIŠKOS KONJYNKTYVI NORMALIOJI FORMA. DISJUNKTYVI NORMALIOJI LOGIKA. TEIGINIŲ LOGIKOS TAIKYMAS TECHNIKOJE. PREDIKATŲ LOGIKA. SAVYBIŲ TEORIJA. Propozicinė funkcija, jos pavertimas teiginiu. Kvantoriai ir kintamieji savybių teorijoje. Savybių teorijos dėsniai. Išraiškų pertvarkymas savybių teorijoje. Formalioji implikacija. SANTYKIŲ TEORIJA. Santykių samprata. Veiksmai su santykiais. 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.

• Skaitmeninė logika
• Matematinė logika
• Teiginių logika