1. Predikatlar hisobida yechilish muammosi. Yechilish muammosi

---

Raqamli texnologiya fakulteti 2-kurs(I.O’.M) talabalariga IV-semestr uchun «Diskret mtematika 

va matematik mantiq» fanidan yakuniy nazorat savollari 

1.

 

Predikatlar hisobida yechilish muammosi. 

Yechilish  muammosi.

  Predikatlar  mantiqida  yechilish  muammosi  mulohazalar  algebrasida 

qanday  qo‘yilgan  bo‘lsa,  xuddi  shunday  qo‘yiladi:  predikatlar  mantiqining  istalgan  formulasi  yo 

umumqiymatli,  yo bajariluvchi, yoki aynan  yolg‘on (bajarilmas) formula ekanligini aniqlab beruvchi 

algoritm mavjudmi yoki yo‘qmi? Bu masala