MATEMATINĖ LOGIKA. II dalis. PREDIKATŲ LOGIKA
Turinys
Žymėjimai
Santrumpos
5. Predikatų algebra
5.1. Teiginių logikos nepakankamumas samprotavimų analizėje
5.2. Predikatas, loginė funkcija. Loginės funkcijos apibrėžimo sritis, reikšmių sritis ir teisingumo sritis
5.3. Jonai ir kintamieji
5.4. Predikatų algebros formulės
5.5. Predikatų algebros abėcėlės raidžių semantika
5.6. Kintamųjų laisvieji ir susiję įėjimai. Uždarosios ir atvirosios formulės
5.7. Formulių interpretacija. Formulių dalykinės interpretacijos
5.8. Predikatų algebros formulių teisingumo lentelės
5.9. Predikatų algebros formulių lygiavertiškumo santykis
5.10. Predikatų algebros formulių tipai. Predikatų algebros svarbesniosios tapačiai teisingos formulės
5.11. Svarbesniosios tapačiai teisingų formulių savybės
5.12. Loginio išplaukimo santykis predikatų algebroje
5.13. Predikatų algebros kalbos taikymas
6. Predikatų skaičiavimas
6.1. Teorijos PL abėcėlė ir formulės. Aksiominių schemų sistema. Išvados taisyklės. Formalusis įrodymas. Formalioji išvada
6.2. PL teorijos neprieštaringumas
6.3. Kvantorių įvedimo ir pašalinimo taisyklės
6.4. PL teorijos taikymai
7. Predikatų algebros uždaviniai
8. Predikatų skaičiavimo uždaviniai
Literatūra
Abėcėlinė rodyklė