등만족도

이 글은 검증을 위해 인용구가 추가로 필요하다. 신뢰할 수 있는 출처에 인용문을 추가하여 이 기사를 개선할 수 있도록 도와주십시오. 공급되지 않은 재료는 도전하여 제거할 수 있다. 출처 찾기: "동일성" – 뉴스 · 신문 · 책 · 학자 · JSTOR (2012년 11월) (이 템플릿 메시지를 제거하는 방법과 시기 학습)

수학 논리(형식 논리 영역 내의 하위 주제)에서 두 번째 공식은 두 번째 공식은 두 번째 공식만 만족하면 만족하고 그 반대도 만족하면 만족한다. 즉, 두 공식 모두 만족하거나 둘 다 만족하지 못한다.^[1]그러나 등가공식 형식은 변수의 특정 선택에 대해 일치하지 않을 수 있다.그 결과 등가공식 두 개가 항상 같은 모형을 가지고 있기 때문에 등가공성은 논리적 등가공성과는 다르다.반면에, 만족스러운 공식 안에서, 공식이 부과하는 원초적인 명제만이 평가된다.

등만족도는 일반적으로 공식을 번역하는 맥락에서 사용되기 때문에 원문과 결과 공식이 등만족할 경우 정확한 번역을 정의할 수 있다.이 개념과 관련된 번역의 예로는 스콜레마이징(Skolemization)과 일부 변환을 결합 정상 형태로 하는 것이 있다.

예

A translation from propositional logic into propositional logic in which every binary disjunction ${\displaystyle a\vee b}$ is replaced by ${\displaystyle ((a\vee n)\wedge (\neg n\vee b))}$, where ${\displaystyle n}$ is a new variable (one for each replaced disjunction) is a transformation in wh만족도는 보존되어 있다: 원래의 공식과 그에 따른 공식은 동등하다.이 두 공식은 동일하지 않다는 점에 유의하십시오. 첫 번째 공식은 $b{\displaystyle }$ ${\displaystyle b}$이(가) 참인 반면 ${\displaystyle$ $a$$}$ 및 $n$ ${\displaystyle$ n$}$은 거짓$$($n{\displaystyle }$ ${\displaystyle n}$에 대한 모델의 진리 값은 공식의 진리 값과 무관함)이지만 두 번째 공식은 동일하지 않다.이 경우 $n{\displaystyle }$ ${\displaystyle n}$이(가) 참이어야 하는$$ 공식.

참조

이 수학적 논리 관련 논문은 단조롭다.위키피디아를 확장하여 도울 수 있다.

• v
• t