Mavzu: mulohazalar hisobida yechilish, zidsizlik, to’liqlilik va erkinlik muomolari

2.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):