النموذج الشرطي للمنطق