조건부 분리
Conditioned disjunction | |
| 정의 | |
|---|---|
| 진리표 | |
| 정상형식 | |
| 이분법 | |
| 결막 | |
| 절갈킨다항식 | |
| 포스트의 선반 | |
| 0-52 | 네 |
| 1시 30분 | 네 |
| 모노톤 | 아니요. |
| 아핀 | 아니요. |
논리학에서 조건부 분리(때로는 조건부 분리라고도 함)[1][2]는 교회가 도입한 제3의 논리 결합체다.진리값 명제를 나타내는 피연산자 p, q, r이 주어진 경우 조건부 분리 [p, q, r]의 의미는 다음과 같다.
![{\displaystyle [p,q,r]~\leftrightarrow ~(q\rightarrow p)\land (\neg q\rightarrow r)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d833dac9059d74bde8abefa0d07308e56a942ef)
즉, [p, q, r]은 "만약 q 그 다음 p, 다른 r" 또는 "q 또는 not q"와 같다.이것은 또한 "q는 p를 의미하고, q는 r을 의미하지 않는다"로 명시될 수 있다.따라서 p, q, r의 어떤 값에 대해서도 [p, q, r]의 값은 q가 참일 때의 p의 값이며, 그렇지 않으면 r의 값이다.
조건부 분리도 다음과 같다.
그리고 많은 프로그래밍 언어의 "단어"(?:) 연산자와 동일한 진리 표를 가지고 있다.전자 논리 용어로도 단일 비트 멀티플렉서로 볼 수 있다.
각 진리의 가치를 나타내는 진리 상수와 함께 조건부 절제는 고전적 논리에 대해 진리 기능적으로 완전하다.[3]그 진실 표는 다음과 같다.
| p | q | r | [p,q,r] |
|---|---|---|---|
| T | T | T | T |
| T | T | F | T |
| T | F | T | T |
| T | F | F | F |
| F | T | T | F |
| F | T | F | F |
| F | F | T | T |
| F | F | F | F |
다른 진실-기능적으로 완전한 3차 커넥티브가 있다.
참조
- ^ Church, Alonzo (1956). Introduction to Mathematical Logic. Princeton University Press.
- ^ Church, Alonzo (1948). "Conditioned disjunction as a primitive connective for the propositional calculus". Portugaliae Mathematica, vol. 7, pp. 87-90.
- ^ Weselkamper, T, "A only couplement operator", 노트르담 저널 of Formal Logic, Vol. 16세, 1위(1975) 페이지 86-88.
외부 링크
위키미디어 공용의 조건부 분리 관련 매체
