Har qanday simvollarning bo‘sh bo‘lmagan chekli to‘plami

1. Xulosa qoidasi (yoki modus ponens):
.
2. Umumiylik kvantori bilan bog‘lash qoidasi (yoki umumlashtirish qoidasi):
.



Muammoli masala va topshiriqlar

1. 
   Qanday shartlar bajarilganda aksiomatik nazariya formal aksiomatik nazariya bo‘lishini aniqlang.
   
2. 
   Birinchi tartibli nazariya yuqori tartibli matematik nazariyalardan qanday xususiyatlari bilan farq qilishini izohlang.
   
3. 
   Mantiqiy amallar zanjiri ham funksional harflar sifatida qaralishi mumkinligini isbotlang.
   
4. 
   Agar bo‘lsa, u holda bo‘lishini isbotlang.
   

Mustaqil ishlash uchun savollar

1. 
   Aksiomatik nazariya deganda nimani tushunasiz?
   
2. 
   Formal va formalmas aksiomatik nazariyalar bir-biridan nimasi bilan farq qiladi?
   
3. 
   Birinchi tartibli til nima?
   
4. 
   Terma va formulalar ta’rifini bilasizmi?
   
5. 
   Funksional va predikat harflar deganda nimani tushunasiz?
   
6. 
   Birinchi tartibli nazariyaning simvollari qanday aniqlanadi?
   
7. 
   Predmet o‘zgaruvchilar va konstantalar ta’rifini bilasizmi?
   
8. 
   Kvantorning ta’sir etuvchi sohasi qanday aniqlanadi?
   
9. 
   Mantiqiy va xos (maxsus) aksiomalar bir-biridan nima bilan faqlanadi?
   
10. 
    Keltirib chiqarish qoidasi deganda nimani tushunasiz?
    
11. 
    Xulosa qoidasi qanday ta’riflanadi?
    
12. 
    Umumiylik kvantori bilan bog‘lash qoidasini bilasizmi?
    

Elementar formulalar. Kvantorlar. Predikatlarning rostlik sohasi.

Predikatlar mantiqida quyidagi simvollardan foydalanamiz:

1. a, b, p, q, ... simvollar-1(rost) va 0 (yolg’on) qiymatlar qabul qiluvchi o’zgaruvchi mulohazalar.
2. x, y, z, ..., – biror M to’plamdan qiymat oluvchi predmet o’zgaruvchilar; -predmet konstantalar, ya’ni predmet o’zgaruvchilarning qqiymatlari.
3. - bir o’rinli (unar) predikatlar; -n o’rinli (n-ar) predikatlar simvoli.
4. - bir o’rinli (unar) predikatlar; -n o’rinli (n-ar) o’zgarmas predikatlar simvoli.
5. - mantiqiy amallar simvollari.
6. -umumiylik va mavjudlik kvantorlari simvollari.
7. ( , ) – qavs va vergul qo’shimcha simvol.