3-Mavzu: Predikatlarga bog’liq bo’lgan asosiy tushunchalar Reja

---

3-Mavzu: Predikatlarga bog’liq bo’lgan asosiy tushunchalar 
Reja 
1. Predikatlar algebrasining simvollari, tili
2. Predikatlar mantiqida bajariluvchi va umumqiymatli formulalar.
3. Teng kuchli almashtirishlar yordamida formulani keltirilgan normal formaga 
keltirish.

---

 

---

---

---

 

---

 
 
 
 

---

Predikatlar hisobining aksiomalari. Keltirib chiqarish qoidalari
 

---

---

 

---

Pre