2. Deduktiv xulosa chiqarishning umumiy tavsifi Deduktiv xulosa chiqarishning muhim xususiyati – unda umumiy bilimdan juz’iy bilimga o‘tishning mantiqan zaruriy xususiyatga egaligidir. Tabiiy tilda deduktiv xulosa chiqarish turlaridan biri bevosita xulosa chiqarishdir.
Faqat birgina mulohazaga asoslangan holda yangi bilimlarning hosil qilinishi bevosita xulosa chiqarish, deb ataladi. Bevosita xulosa chiqarish simvolik mantiqda quyidagicha ifodalanadi: XSP ,YSP, bunda X va Y oddiy qat’iy mulohazalarni (A, E, I, O), S va P lar esa mulohazalarning subyekti va predikatini ifodalaydi. XSP– xulosa asosi yoki antesedent, YSP – xulosa yoki konsekvent, deb ataladi. Bevosita xulosa chiqarish jarayonida mulohazalarning shaklini o‘zgartirish orqali yangi bilim hosil qilinadi. Bunda asos mulohazaning tarkibi, ya’ni subyekt va predikat munosabatlarining miqdor va sifat tavsiflari muhim ahamiyatga ega bo‘ladi. Bevosita xulosa chiqarishning quyidagi mantiqiy usullari mavjud:
I. Aylantirish(lot. – obversio) shunday mantiqiy usulki, unda berilgan mulohazaning miqdorini saqlagan holda, sifatini o‘zgartirish bilan yangi mulohaza hosil qilinadi. Bu usul bilan xulosa chiqarilganda qo‘sh inkor sodir bo‘ladi, ya’ni avval asosning predikati, keyin bog‘lovchisi inkor etiladi. Buni quyidagi ko‘rinishda yozish mumkin:
S-Pxulosa asosi S - Pdir
ù (S-ù P) xulosa S – P mas (siz) emas
Inkor qilish jarayonida -ma; -siz; -mas kabi qo‘shimchalar yoki inkor qilinayotgan tushunchaga zid bo‘lgan tushunchalardan foydalaniladi. Oddiy qat’iy mulohazalarning hammasidan aylantirish usuli bilan xulosa chiqariladi. Xulosa asosi bo‘lgan mulohaza xulosada quyidagicha ifodalanadi:
Aylantirish usuli bilan xulosa chiqarilganda “biror nimaning qo‘sh inkori uning tasdig‘i bilan tengdir” degan qoida amal qiladi.
Masalan:
1. A. Hamma ilmiy qonunlar obyektiv xarakterga ega.
E. Hech bir ilmiy qonun subyektiv xarakterga ega emas.