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

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

Keywords:

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