1-Mavzu: mulohazalar hisobi uchun aksiomalar sistemasi reja

Xuddi mulohazalar algebrasigidek qavslarni soddalashtirishga kelishib olaylik.

• 
  Xuddi mulohazalar algebrasigidek qavslarni soddalashtirishga kelishib olaylik.
  
• 
  nazariyaning cheksiz aksiomalari to‘plami faqat yuqoridagi 3 ta aksiomalar qolini orqali beriladi.
  
• 
  Har bir formulaning aksioma bo‘lish yoki bo‘lmasligini osongina tekshirish mumkin va shuning uchun effektiv aksiomalashtirilgan nazariyadir.
  
• 
  Bizning maqsadimiz sistemani shunday qurishdan iboratki, unda uning barcha teoremalari sinfi mulohazalar mantiqini barcha tavtologiyalari sinfi bilan ustma-ust tushish.
  
• 
   
  
• 
   
  
• 
   
  
• 
  Boshqa bog‘lovchilarni quyidagicha aniqlaymiz:
  
• 
   
  
• 
  formula ekanini;
  
• 
  formula ( ekanini;
  
• 
  formula
  
• 
   
  
• 
  ekanini bildiradi.
  

E’tiboringiz uchun rahmat

http://fayllar.org