عملگرهای استلزامی، توابع دو متغیره ای بر مربع واحد و تعمیمی از استلزام دو ارزشی منطق کلاسیک هستند. روش های مختلفی برای ساخت عملگرهای استلزامی ارائه شده است. یک رده از این توابع، استلزام های احتمالاتی هستند که براساس توابع مفصل ساخته می شوند. در این مقاله قوانین عکس نقیض برای این رده از استلزام ها مطالعه می شود.

کلمات کلیدی