優先的含意

選好含意とは、最も妥当と考えられるモデルのみを選択することに基づく非単調論理である。モデルの妥当性は、選好関係と呼ばれるモデル間の順序付けによって表現されるため、選好含意という名前が付けられている。

形式的には、命題論理式が与えられた場合${\displaystyle F}$命題モデル上の順序付け${\displaystyle \leq }$優先的含意は、${\displaystyle F}$最小限のもの${\displaystyle \leq }$この選択は、非単調な推論関係につながる。${\displaystyle F\models _{\text{pref}}G}$すべての最小モデルが成り立つ場合に限り、${\displaystyle F}$によると${\displaystyle \leq }$また、${\displaystyle G}$[ ^{1 ]​}

限定は、順序が真と割り当てられた変数の集合の包含（命題論理の場合）または述語の拡張の包含（一階述語論理の場合）に基づいている場合の優先的含意の特殊なケースと見なすことができる。^{[ 1 ]}

• 合理的な結果関係