Teiginių logika

Istorija. TEIGINIŲ LOGIKA. TEIGINIAI IR LOGINĖS OPERACIJOS. Neigimas. Implikacija. Disjungcija. Konjunkcija. Ekvivalencija. Formalizavimo procedūra. Skliaustų rašymo taisyklės. Kalba ir metakalba. Formulių teisingumo lentelių sudarymas. Formulių ekvivalentiškumas. Teisingumo funkcijos. Formulių klasifikacija. Svarbiausios tapačiai teisingų formulių savybės. Loginio operatoriaus ivedimo ir pasalinimo schemos. Loginiu operaciju isreiskimas kitomis. Perstatomumo (komutatyvumo) desnis. Jungiamumo (asociatyvumo) desnis. Idempotentumo desnis. Absorbcijos desnis. Loginiu operaciju neigimo desnis. Tradicines logikos tapatybes. Suklijavimo desniai. Kiti dazniau naudojami logikos desniai. TEISINGUMO FUKCIJU TOBULOSIOS IR NORMALIOSIOS FORMULES. PILNOSIOS TEISINGUMO F-JU SISTEMOS. IMPLIKACIJOS IR EKVIVALENCIJOS SAVYBES. Tapačiai teisingų formulių nustatymo metodai. Modelių teorija – dualumas. T. Dualumo dėsnis. Dualių formulių savybės. Sutrumpintos teisingumo lentelės. Pagrindinės išplaukimo taisyklės. Teiginių logikos taikymas natūraliai kalbai. Natūralios kalbos sakinių užrašymas matematinės logikos kalba. Samprotavimų analizė.