Mavzu: Hisob tushunchasi. Mulohazalar hisobi. Keltirib chiqarish

Keltirib chiqarish qoidasi. Xuddi mulohazalar hisobidagidek, formulalar majmuasida keltirib chiqarish tushunchasidan foydalanamiz. formulalar majmuasiga kiruvchi mulohazalarni (formulalarni) shartlar deb ataymiz. Agar majmuadan keltirib chiqarilgan ifodaning oxirida mulohaza (formula) joylashgan bo‘lsa, u holda mulohaza dan keltirib chiqarilgan deb aytamiz va ko‘rinishda yozamiz. Xususan, bo‘lsa, u holda ko‘rinishda yoziladi.
Birinchi tartibli nazariyaning keltirib chiqarish qoidasi tarkibiga ushbu ikkita qoida kiradi.
Xulosa qoidasi (yoki modus ponens):
.
2. Umumiylik kvantori bilan bog‘lash qoidasi (yoki umumlashtirish qoidasi):
.