Matematika fakulteti

1.2.Keltirib chiqarish qoidasi. Xulosa qoidasi. Umumlashtirish qoidasi.
Keltirib chiqarish qoidasi. Xuddi mulohazalar hisobidagidek, H formulalar majmuasida keltirib chiqarish tushunchasidan foydalanamiz. H formulalar majmuasiga kiruvchi mulohazalami (formulalarni) shartlar deb ataymiz. Agar H majmuadan keltirib chiqarilgan ifodaning oxirida A mulohaza (formula) joylashgan bo’lsa, u holda A mulohaza H dan keltirib chiqarilgan deb aytamiz va H A ko’rinishda yozamiz. Xususan, bo‘1sa, u holda A ko‘rinishda yoziladi.
Birinchi tartibli nazariyaning keltirib chiqarish qoidasi tarkibiga ushbu ikkita qoida kiradi.

1. 
   Xulosa qoidasi (yoki modus ponens):
   

2. 
   Umumiylik kvantori bilan bog ‘lash qoidasi (yoki umumlashtirish qoidasi):
   

II.Bob.Matematikaning qurilishida nazariyaning zidsizlik ,to’liqlilik erkinlik muommolari.