티스토리 뷰
//이 자료는 Discrete mathmatics and its application 7th edition에서 나오는 예제를 간추린 것입니다. 저는 코딩에 관심 있는 학생이며, 타인의 지적재산을 단지 학습을 위해 사용할 뿐 개인의 금리적 이윤을 위한 상업적인 용도로 쓰지 않습니다. 만약 저작권 관련 문제가 될 시 즉시 문서를 삭제하겠습니다.//
중첩 정량자
예제1 중첩 정량자를 표현하기
예제2 중첩 정량자 표현을 해석하기
∀x∀y((x>0)∧(y<0)→(xy<0)), 두 변수의 정의역은 모든 실수입니다.
***이는 모든 실수 x, y에 대해, 만약 x>0이고 y<0이면, xy<0입니다 로 표현됩니다. 즉, 이는 모든 실수 x와 y에 대해, x가 양수고 y가 음수이면, 그 곱 xy는 음수입니다 를 뜻합니다. 간결하게 "양의 실수와 음의 실수 곱은 항상 음의 실수입니다."로 표현 가능합니다.
중첩 정량자를 루프로 생각하기
정량자의 순서
예제3 복수 전체 정량자와 배치 순서의 영향
P(x, y)는 "x+y = y+x"라 합시다. 정량자들의 진리값은 무엇입니까? ∀x∀yP(x,y)와 ∀y∀xP(x,y), 두 변수의 정의역은 모든 실수입니다.
***정량자 ∀x∀yP(x,y)는 명제 "모든 실수 x, 모든 실수 y에 대하여 x+y = y+x 입니다."로 표현됩니다. P(x,y)는 모든 실수 x와 y에 대해 참이므로 (덧셈의 교환법칙, 실수에 대한 공리), 명제 ∀x∀yP(x,y)는 참입니다. 구문 ∀y∀xP(x,y)는 "모든 실수 y, 모든 실수 x에 대하여 x+y = y+x 입니다."로 표현됩니다. 즉, ∀x∀yP(x,y)와 ∀y∀xP(x,y)는 같은 뜻을 가지며 모두 참입니다. 시사하는 바는, 중첩 정량자에서 동일한 정량자의 사용은 의미에 변화 없이도 순서를 바꿀 수 있다는 점입니다. 즉, 한 타입의 여러 정량자 사용은 정량자의 배치 순서에 대해 영향을 받지 않습니다.
예제4 존재, 전체 정량자의 혼용과 배치 순서의 영향
Q(x,y)는 "x+y=0"라 합시다. 정량자 ∃y∀xQ(x,y)와 ∃x∀yQ(x,y)의 진리값은 무엇입니까? 두 변수의 정의역은 모든 실수입니다.
***정량자 ∃y∀xQ(x,y)는 명제 "어느 실수 y에 대해 모든 실수 x가 Q(x, y) 입니다."로 표현됩니다. 어느 y값이 선택되든, x+y=0를 만족하는 x는 하나가 존재합니다. 특정 y에 대해 x+y=0을 만족하는 모든 실수 x는 존재하지 않기때문입니다. 따라서 ∃y∀xQ(x,y)는 거짓입니다.
정량자 ∀x∃yQ(x,y)는 명제 "모든 실수 x에 대해 어느 실수 y가 Q(x, y) 입니다."로 표현됩니다. 주어진 실수 어느 실수 x에 대해서도, x+y=0을 만족하는 실수 y가 존재합니다. 따라서 ∀x∃yQ(x,y)는 참입니다.
예제 4가 시사하는 바는 정량자 배치 순서에 따라 의미가 달라지는 것입니다. 구문 ∃y∀xQ(x,y)와 ∀x∃yQ(x,y)는 논리적 동치가 아닙니다. 구문 ∃y∀xQ(x,y)는 어느 y에 대하여 모든 실수 x가 Q(x, y)를 참으로 만들때 참입니다. 이 구문이 참이 되기위해서는 Q(x, y)에 특정 y값이 주어졌을 때 x의 값에 상관없이 모든 x에 대해 Q(x, y)가 참이면 됩니다. 반대로, ∀x∃yQ(x,y)는 모든 x에 대하여 어느 실수 y가 P(x, y)가 참으로 만들 때 참입니다. 이 구문이 참이 되려면, 어느 x의 값에 상관없이 Q(x, y)를 참으로 만드는 y값이 존재해야합니다. 후자인 경우, y는 x에 값에 의존적이며, 전자인 경우는 y는 x에 대해 독립적인 경우입니다.
전자 ∃y∀xQ(x,y)가 참인경우 ∀x∃yQ(x,y)는 참입니다. 그러나 ∀x∃yQ(x,y)가 참인경우, ∃y∀xQ(x,y)가 반드시 참이지는 않습니다.
예제 5
Q(x, y, z)를 구문 "x+y=z"라 합시다. 구문 ∀x∀y∃zQ(x, y, z)와 ∃z∀x∀yQ(x, y, z)의 진리값은 무엇입니까? 세 변수의 정의역은 모든 실수입니다.
***x와 y가 값이 할당되었다고 가정합시다. 그러면, x+y=z를 만족하는 실수 z가 존재합니다. 따라서, 정량자 ∀x∀y∃zQ(x, y, z) 는 "모든 실수 x와 모든 실수 y에 대하여, x+y=z인 어떤 실수 z가 존재한다."는 참입니다. 정량자의 배치 순서는 여기서 중요합니다. 정량자 ∃z∀x∀yQ(x, y, z) "어느 실수 z에 대해 모든 실수 x와 모든 실수 y가 x+y=z를 만족한다"는 거짓입니다. 모든 실수 x와 모든 실수 y의 합이 어느 주어진 z값에 대하여 항상 만족하지는 않기 때문입니다.
수학 구문을 중첩 정량자 구문으로 표현하기
예제 6
예제 7
*** 다음과 같이 쓸 수 있습니다. "0을 제외한 모든 실수 x에 대하여, x는 역수를 가진다." 그런다음 다음과 같이 쓸수 있습니다. "모든 실수 x에 대하여, x≠0이면, xy=1을 만족하는 실수 y가 존재한다." 논리적 표현으로 써보면 다음과 같습니다. ∀x((x≠0)→∃y(xy=1))
예제 8
중첩 정량자를 자연어로 바꾸기
예제9 자연어로 바꾸기
∀x(C(x) ∨ ∃y(C(y) ∧ F(x,y)))를 자연어로 바꿔봅시다. C(x)는 "x 는 컴퓨터를 가지고 있다.", F(x, y)는 "x와 y는 친구이다.", 정의역은 x와 y는 학교 내의 모든 학생입니다.
*** 학교내 모든 학생 x에 대하여, x는 컴퓨터를 가지고 있거나 어떤 y가 x와 친구이고 컴퓨터를 가지고 있다는 것을 만족한다. 즉, 학교내 모든 학생은 컴퓨터를 가지고 있거나, 컴퓨터를 가진 친구가 있다.
예제 10
∃x∀y∀z((F(x,y)∧F(x,z)∧(y≠z))→¬F(y,z)), 를 자연어로 바꾸세요. F(a,b)는 a와 b가 친구라는 뜻입니다. 세 변수의 정의역은 학교내의 모든 학생입니다.
*** 어떤 학생 x에 대하여, 모든 학생 y와 모든학생 z는, 만약 x와 y가 친구이고, x와 z가 친구이고 y와 z가 동일 인물이 아닌경우에는 y와 z는 친구가 아니다. 를 뜻합니다. 서로 둘이 친구인 학생과 어떤 애들과도 친구가 아닌 아이가 있다. 입니다.
'Discrete mathmatics and Problem Solving > 1 논리' 카테고리의 다른 글
Aristotle and his thinking (0) | 2016.12.27 |
---|---|
0 Introduction (0) | 2016.12.26 |
1 기초: 논리와 증명 4 (0) | 2016.09.17 |
1 기초: 논리와 증명 3 (0) | 2016.09.17 |
1 기초: 논리와 증명 2 (0) | 2016.09.12 |
- Total
- Today
- Yesterday
- Propositional and Predicate Logic
- 그라파나
- 아레나
- rosen
- Discrete Mathematics
- flutter
- arena simulation
- 로젠
- Simulation
- 아레나 시뮬레이션
- 이산수학
- 가상 면접 사례로 배우는 대규모 시스템 설계 기초
- 명제논리
- 엄청난 인내심과 시뮬레이션을 위한 아레나 툴
- javascript
- beginning javascript
- 시뮬레이션
- 자바스크립트 예제
- 아레나시뮬레이션
- 자바스크립트
- Arena
- 데이터 중심 애플리케이션 설계
- Trie
- 백준
- 이산 수학
- 대규모 시스템 설계 기초
- paul wilton
- grafana cloud
- 최단경로 알고리즘
- 조합 코딩
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | 5 | 6 | |
7 | 8 | 9 | 10 | 11 | 12 | 13 |
14 | 15 | 16 | 17 | 18 | 19 | 20 |
21 | 22 | 23 | 24 | 25 | 26 | 27 |
28 | 29 | 30 |