O‘zbekiston milliy universiteti m. ShAripov d. Fayzixo‘jayeva mantiq tarixi va nazariyasi falsafa yo‘nalishi talabalari uchun Darslik Toshkent

Shartli-qat’iy xulosa chiqarishning ko‘rinishlari:

1. 
   Qat’iy mulohaza katta asos va implikativ mulohazaning konsekventi bo‘lib keladi. Masalan:
   

Tong otdi.

Agar Quyosh chiqqan bo‘lsa, unda tong otadi.

Demak, Quyosh chiqqan.

2. Qat’iy mulohaza kichik asos va implikativ mulohazaning antetsedenti bo‘lib keladi. Masalan:

Agar Quyosh chiqqan bo‘lsa, unda tong otadi.

Quyosh chiqdi.

Demak, tong otadi.

3. Qat’iy mulohaza katta asos va implikativ mulohazaning antetsedenti bo‘lib keladi. Masalan:

Quyosh chiqdi.

Agar Quyosh chiqqan bo‘lsa, unda tong otadi

Demak, tong otadi.

4. Qat’iy mulohaza kichik asos va implikativ mulohazaning konsekventi bo‘lib keladi. Masalan:

Agar Quyosh chiqqan bo‘lsa, unda tong otadi

Tong otdi

Demak, Quyosh chiqdi.