عملگرهای استلزام

در این مقاله، سه ردۀ اساسی از عملگرهای استلزام بررسی می‌شوند. این سه رده عبارت‌اند از استلزام‌های مبتنی بر $s$نرم، استلزام‌های مبتنی بر توابع مانده $t$نرم و $q$استلزام‌ها. مبنای منطقی این سه رده از عملگرها را شرح خواهیم داد. سپس به ویژگی‌هایی می‌پردازیم که عملگرهای استلزام به لحاظ ریاضیشهودی باید (یا بهتر است) داشته باشند. درآخر، ملاک‌هایی را که در انتخاب عملگر مناسب در مسائل عملی اهمیت دارند بررسی می‌کنیم.