Teiginių logika. Teiginiai ir loginės operacijos. Skliaustų rašymo taisyklės. Formulių ekvivalentiškumas. Teisingumo funkcijos. Svarbiausios tapačiai teisingų formulių savybės. Teisingumo funkcijų tobulosios ir normaliosios formulės. Pilnosios teisingumo funkcijų sistemos. Implikacijos ir ekvivalencijos savybės. 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ė teiginių logikos metodais.