V bob predikatlar mantiqi

Mustaqil ishlash uchun savollar

7. 
   Matematik ta’rif va teoremalarni predikatlar mantiqi tili vositasi bilan ifodalashni bilasizmi?
   
8. 
   Sonlar ketma-ketligi limitining ta’rifini predikatlar mantiqi tili vositasida qanday ifodalash mumkin?
   
9. 
   Funksiyaning nuqtadagi limiti va uzluksizligi ta’riflari predikatlar mantiqi tili vositasida qanday ifodalanadi?
   
10. 
    O‘suvchi funksiyaning va chegaralangan funksiyaning ta’riflarini predikatlar mantiqi tili vositasida ifodalay olasizmi?
    
11. 
    Qarama-qarshi tasdiqlarni tuzish uchun nima qilish kerak?
    
12. 
    To‘g‘ri, teskari va qarama-qarshi teoremalar bir-biridan nimasi bilan farq qilishadi?
    
13. 
    Yetarli va zaruriy shartlar deganda nimani tushunasiz?
    
14. 
    Teskarisini (aksini) faraz qilish usuli bilan isbotlash sxemasini yoza olasizmi?
    
15. 
    Aksiomatik predikatlar nazariyasini qanday yaratish mumkin?
    
16. 
    Predikatlar hisobi formulasining ta’rifi qanday kiritilishi mumkin?
    

1 Bir joyli predikatni unar predikat deb atash ham mumkin.

2 Chyorch (Alonzo Church, 1903-1995) – AQShlik matematik, mantiqchi.