سید محمود طاهری - دانشکده فنی، دانشگاه تهران، تهران، ایران

در این مقاله، سه رده اساسی از عملگرهای استلزام بررسی می شوند. این سه رده عبارت اند از استلزام های مبتنی بر S-نرم، استلزام های مبتنی بر توابع مانده T-نرم و Q-استلزام ها. مبنای منطقی این سه رده از عملگرها را شرح خواهیم داد. سپس به ویژگی هایی می پردازیم که عملگرهای استلزام به لحاظ ریاضی-شهودی باید (یا بهتر است) داشته باشند. درآخر، ملاک هایی را که در انتخاب عملگر مناسب در مسائل عملی اهمیت دارند بررسی می کنیم.

نرم مثلثی, استلزام فازی, قاعده شرطی, منطق کلاسیک, منطق فازی