Logikos teorija

SUTRUMPINTOS TEISINGUMO LENTELĖS. TEIGINIŲ LOGIKOS TAIKYMAS NATŪRALIAI KALBAI. NATŪRALIOS KALBOS SAKINIŲ UŽRAŠYMAS MATEMATINĖS LOGIKOS KALBA. PAGRINDINĖS IŠPLAUKIMO TAISYKLĖS. LOGIKA. SAMPROTAVIMŲ ANALIZĖ. TEIGINIŲ LOGIKOS METODAI. Sakinių pervedimas į logikos kalbą. ĮRODYMŲ TEORIJA. Formalusis įrodymas ir formalusis išvedimas. Išvedamumo santykio savybės. ĮRODYMŲ TEORIJA. DEDUKCIJOS TEOREMA. TEORIJOS NEPRIEŠTARINGUMAS. LOGINIŲ OPERATORIŲ ĮVEDIMO IR PAŠALINIMO TAISYKLĖS. TEORIJOS ‘L’ PILNUMAS. Redikatu skaiciavimas. Kintamuju apibrezimo sritis. Tapatusis teisingumas.