Navoiy davlat pedagogika instituti fizika matematika fakulteti

12-mavzu. Predikatlar algebrasining aynan rost va aynan yolg`on formulalr
Predikatlar algebrasining umumqiymatli, bajariluvchi formulalar Predikatlar mantiqida formula tushunchas Predikatlar mantiqida bajariluvchi va umumqiymatli formula tushunchalar Tengkuchli formulalar. Predikatlar mantiqida keltirilgan normal formula ( forma) tushunchas Tengkuchli almashtirishlar yordamida formulani keltirilgan normal formaga aylantirish. Keltirilgan normal formaga misollar. Predikatlar algebrasida yechilish muammosi
13-Mavzu. Predikatlar algebrasining keltirilgan formulalarPA formulalarining tadbiqlar
Predikatlar hisobi , predikatlar hisobining aksiomalar Keltirib chiqarish qoidalari : xulosa chiqarish qoidasi, oʻzgaruvchi predikatni oʻrniga qoʻyish qoidas Erkin oʻzgaruvchi predmetni almashtirish qoidasi, bogʻliq oʻzgaruvchini formula tushunchasi, predikatlar hisobining keltirib chiqariluvchi formulalari, predikatlar hisobining xossalari ( obzor tariqasida) Mavzularga oid nazariy bilim va koʻnikmalarini shakllantirish.