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. Logika. Samprotavimų analizė. Teiginių logikos metodai. Sakinių pervedimas į logikos kalbą. Įrodymų teorija. Formalusis įrodymas ir formalusis išvedimas. Išvedamumo santykio savybės. Dedukcijos teorema. Teorijos neprieštaringumas. Loginių operatorių įvedimo ir pašalinimo taisyklės. Teorijos "L" pilnumas. Predikatų skaičiavimas. Kintamųjų apibrėžimo sritis. Tapatusis teisingumas.
40.18 KB
