논리적 등가성
Logical equivalence논리학과 수학에서 문장 과 은 모든 모델에서 동일한 진리 값을 갖는 경우 논리적으로 동등하다고 한다.[1] 과( {\p p : : {\ p E : p q}로 표현되기도 한다 그러나 이러한 기호는 재료 동등성에도 사용되므로 적절한 해석은 문맥에 따라 달라질 수 있다. 논리적 등가성은 물질적 등가성과는 다르지만, 두 개념은 본질적으로 관련이 있다.
논리적 동등성
논리학에서는 많은 일반적인 논리 동등성이 존재하며 종종 법이나 속성으로 나열된다. 다음 표는 이것들 중 일부를 보여준다.
일반 논리 동등성
등가성 | 이름 |
---|---|
신원법 | |
지배법칙 | |
idempotent 또는 tautology 법칙 | |
이중부정법 | |
상보법 | |
연합법 | |
분배법 | |
드 모건의 법칙 | |
흡수법칙 | |
부정법 |
조건문을 포함하는 논리적 동등성
양수화를 포함하는 논리적 동등성
예
논리적으로
다음 문장은 논리적으로 동일하다.
구문론적으로 (1)과 (2)는 대립과 이중 부정의 규칙을 통해 서로로부터 파생될 수 있다. 의미론적으로 (1)과 (2)는 정확히 동일한 모델(해석, 평가)에서 참이다. 즉, 리사가 덴마크에 있거나 리사가 유럽에 있는 모델은 참이다.
(이 예에서는 고전적 논리가 가정된다는 점에 유의하십시오. 일부 비클래식 로직은 (1)과 (2)가 논리적으로 동등하다고 생각하지 않는다.)
물질적 등가성과의 관계
논리적 등가성은 물질적 등가성과 다르다. 공식 및 은(는) 재료 동등성의 문장이 tautology인 경우에만 논리적으로 동등하다([2]
과 흔히 오른쪽 q로 표기됨의 물질적 동등성 그 는 p과 {\과 동일한 객체 언어로 " if and onl라는 생각을 표현한다y if 인 경우 의진가가격은 모델에서 다른 로 바뀔 수 있다
반면 두 공식은 논리적으로 동등하다는 주장은 금속어로 된 진술로, 두 의 p와 q 사이의 관계를 표현하고 있다 문장은 모든 모델에서 동일한 진리 값을 갖는다면 논리적으로 동일하다.
참고 항목
- 가입
- 등만족도
- 만약 그리고 만약
- 논리 쌍변성
- 논리평등
- ≡ iff 기호(U+2261 동일 TO)
- ∷ a to b c는 d 기호(U+2237 REMPERATION)에 대한 a to b를 c로 표시한다.
- ⇔ 더블 히트 바이콘드레이드(U+21D4 좌측 우측 더블 화살표)
- £ 양방향 화살표 (U+2194 왼쪽 화살표)
참조
- ^ Mendelson, Elliott (1979). Introduction to Mathematical Logic (2 ed.). pp. 56. ISBN 9780442253073.
- ^ Copi, Irving; Cohen, Carl; McMahon, Kenneth (2014). Introduction to Logic (New International ed.). Pearson. p. 348.