Аl вukhari university nodavlat oliy ta’lim muassasasi

I.SHartli xulosa chiqarish deb har ikki asosi yoki asoslaridan biri shartli mulohaza bo‘lgan sillogizmga aytiladi. Ular sof shartli va shartli-qatiy turlarga bo‘linadi.

Sof shartli xulosa chiqarish deb, har ikki asosi va xulosasi shartli mulohaza bo‘lgan sillogizmga aytiladi. Uning formulasi quyidagicha:

1) p→q q→r p→r	2) p→q  r→q q
yoki [(p → q) (q → r)] →(p → r)	yoki [(p → q) (  r → q)] → q

1. 
   misol:
   

Agar fikr isbotlangan bo‘lsa, unda u chin bo‘ladi.

Agar fikr chin bo‘lsa, unda uni rad etib bo‘lmaydi. Agar fikr isbotlangan bo‘lsa, unda uni rad etib bo‘lmaydi.

2. 
   misol:
   

Agar havo yaxshi bo‘lsa, teatrga boramiz. Agar havo yaxshi bo‘lmasa ham teatrga boramiz. Teatrga boramiz.