Zbekiston respublikasi milliy gvardiyasi harbiy-texnik instituti

q 
p → r q 
Masalan: 
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. 
Agar havo yaxshi bo‗lsa, konsertga boramiz. 
Agar havo yaxshi bo‗lmasa ham, konsertga boramiz. 
Konsertga boramiz. 
Bu turdagi sillogizmlarning xulosasi shartlangan (
shartli hukm
) bo‗lgani uchun, ulardan 
bilish jarayonida kam foydalaniladi. 
SHartli-qatiy xulosa
chiqarish deb, katta asosi shartli hukm, kichik asosi oddiy qat‘iy hukm 
bo‗lgan sillogizmga aytiladi. Bunday xulosa chiqarishning ikkita turi (
aniq xulosa beradigan
) 
modusi mavjud: 
1. Tasdiqlovchi modus
modus ponens
2. Inkor etuvchi modus 
modus tollens 
p → q p → q