43-mavzu. Normal formaga keltirish haqidagi teorema. Keltirib chiqariluvchi formulalarning namunalari. Normal formaga keltirish haqidagi teorema. Keltirib chiqariluvchi formulalarning namunalari. Konyunksiya amali uchun umumlashgan assotsiativlik qonunining o‘rinliligi. Mulohazalr hisobi formulalari bilan mulohazalar algebrasi formulalari orasidagi bog‘lanish. Mulohazalar hisobining zidsizligi, to‘liqligi, erkinliligi tushunchalari.
44-mavzu. Predikatlar algebrasining simvollari, tili. Predikatlar mantiqida formula tushunchasi. Keltirilgan normal forma. Predikatlar algebrasining simvollari, tili. Predikatlar mantiqida formula tushunchasi.
Predikatlar mantiqida bajariluvchi va umumqiymatli formula tushunchalari. Teng kuchli formulalar. Predikatlar mantiqida keltirilgan normal formula (forma) tushunchasi. Teng kuchli almashtirishlar yordamida formulani keltirilgan normal formaga aylantirish. Keltirilgan normal formaga misollar. Predikatlar algebrasida yechilish muammosi.
45-mavzu. Predikatlar hisobi. Predikatlar hisobining aksiomalari. Keltirib chiqarish qoidalari. Predikatlar hisobi. Predikatlar hisobining aksiomalari. Keltirib chiqarish qoidalari: xulosa chiqarish qoidasi, o‘zgaruvchi predikatni o‘rniga qo‘yish qoidasi, erkin o‘zgaruvchi predmetni almashtirish qoidasi, bog‘liq o‘zgaruvchini almashtirish qoidasi, kvantorlar bilan bog‘lash qoidalari. Keltirib chiqariluvchi formula tushunchasi. Predikatlar hisobining keltirib chiqariluvchi formulalari. Predikatlar hisobining xossalari (obzor tariqasida).
46-mavzu. Matematik nazariya haqida tushuncha. Matematik nazariyaning xossalari. Matematik nazariya haqida tushuncha. Birinchi tartibli til. Matematik nazariyaning xossalari: zidsizlik, to‘liqlik, yechilish muammolari. To‘liqsizlik haqidagi Gyodel teoremasi (isbotsiz). Matematik nazariya namunalari.
47-mavzu. Aksiomatik metod. Formal va noformal aksiomatik nazariyalar. Aksiomatik metod. Formal va noformal aksiomatik nazariyalar. Formal arifmetikaning zidsizligi haqidagi teorema.
