특혜참가

우선적 관여는 가장 그럴듯하다고 여겨지는 모델만 선택하는 것을 기본으로 하는 비단조적 논리다.모델의 신뢰성은 선호 관계라고 불리는 모델들 사이의 주문에 의해 표현되므로 이름 선호도가 수반된다.

형식적으로 제안 공식 $F{\displaystyle }$ ${\displaystyle F}$과 제안 모델 위에 주문 ordering${\displaystyle \leq }$을$($를) 부여하면 우선 참여는 ≤${\displaystyle \leq }$에 따라 최소인 $F$ ${\displaystystyle F}$의 모델만 선택하게 된다$.$ 이 선택으로 인해 다음과 같은 비일차 관계가 된다.${\displaystyle F}$ ${\displaystyle {}_{}}$ ${\displaystyle {\text{pref}}_{}}$ ${\displaystyle {}_{}}$ ${\displaystyle F\models _{\text{pref}G}$은(는) $\le {\displaystyle }$ ${\displaystyle \leq}$에 따른$$ F ${\displaystyle$ F$}$의 최소 모델도 $모두$ G ${\displaystystyle G}$의 모델인 경우에만 유지된다$.$^[1]

할례는 참(proposal case)에 할당된 변수 집합의 격납 또는 술어의 확장 억제(첫 번째 순서 논리 사례에서)에 근거한 주문일 때 특별히 선호하는 개입의 사례로 볼 수 있다.^[1]

참고 항목

• 합리적 결과 관계

참조