Navoiy davlat pedagogika instituti fizika matematika fakulteti

9-Mavzu.Keltirib chiqarish qoidalar

Keltirib chiqarish tushunchas Keltirib chiqarish qoidalar Ayrim mantiq qonunlarining isbot

10-Mavzu. Mulohazalar algebrasi formulalri tadbiqlar Rele kantak sxemalar Minimizatsiya masalalar
IV modul. Predikatlar algebrasi va hisobi

11-mavzu. Predikatlar ustida amallar.
Predikatlar ustida amallar. Mavjudlik va umumiylik kvantorlar Predikatlar algebrasi formulalarining tengkuchliliklar Predikat tushunchas Bir oʻzgaruvchi predikatning rostlik sohasi va uning xossalar Predikatlar ustida amallar. Predikatlarki kvantorlar bilan bogʻlash. Predikatlar algebrasining simvollari , til