Logikos mokslas ir jo objektas. Teiginių logika. Pagrindiniai teiginių logikos terminai ir simboliai. Propozicinių kintamųjų eilės interpretacija ir teiginių logikos operatorių reikšmės. Teiginių logikos operatorių reikšmės. Teiginių logikos formulės reikšmės nustatymas. Teiginių logikos formulių rūšys. Loginiai formulių santykiai. Teiginių logikos operatorių pakeičiamumas. Teiginių logika ir protavimas. Teiginių logika ir natūralioji kalba. Normalioji formulės forma.
104.42 KB
