37. Zadening kompozitsion noravshan xulosa qoidasi Oddiy, bull mantiqiy xulosa quyidagi tasdiqlarga asoslanadi:
▪ Modus ponens: (A (A B)) B ;
▪ Modus tollens: ((A B) B) A ;
▪ sillogizm: ((A B) (B C)) (A C) ;
▪ kontrapozitsiya: (A B) (B A).
Ravshan mantiqiy xulosada ko’pincha modus ponens qoidasi ishlatiladi, uni quyidagicha yozib olish mumkin:
