الاستقطاع التفضيلي

الاستلزام التفضيلي هو منطق غير رتيب يعتمد على اختيار النماذج الأكثر ترجيحًا فقط. ويتم التعبير عن ترجيح النماذج من خلال ترتيب بينها يُسمى علاقة تفضيلية، ومن هنا جاءت تسمية الاستلزام التفضيلي.

بصورة رسمية، بالنظر إلى صيغة اقتراحية${\displaystyle F}$وترتيب على النماذج الافتراضية${\displaystyle \leq }$، يختار الاستلزام التفضيلي نماذج فقط من${\displaystyle F}$وهي ضئيلة وفقًا لـ${\displaystyle \leq }$يؤدي هذا الاختيار إلى علاقة استدلال غير رتيبة:${\displaystyle F\models _{\text{pref}}G}$يتحقق ذلك إذا وفقط إذا كانت جميع النماذج الدنيا من${\displaystyle F}$وفق${\displaystyle \leq }$وهي أيضاً نماذج من${\displaystyle G}$[ ^{1 ]​}

يمكن اعتبار التحديد حالة خاصة من الاستلزام التفضيلي عندما يعتمد الترتيب على احتواء مجموعات المتغيرات المخصصة للقيمة "صحيح" (في حالة القضايا) أو احتواء امتدادات المسندات (في حالة منطق الرتبة الأولى). ^{[ 1 ]}

• علاقة العواقب العقلانية