2014 년 봄학기 강원대학교 컴퓨터과학전공 문양세

1. 이산수학(Discrete Mathematics) 중첩된 한정기호(Nested Quantifiers) 2014년 봄학기 강원대학교 컴퓨터과학전공 문양세

2. Nested Quantifiers  Statements (1/3) Nested Quantifiers • Variable x와 y의 domain이 실수(all real numbers)라 했을 때, • xy(x + y = y + x)를 번역하면, “For every real number x and for every real number y, x + y = y + x.”이고, 이는 실수의 덧셈에 있어서 교환법칙을 의미한다. • xy(x + y = 0)를 번역하면, “For every real number x, there is a real number y such that x + y = 0.”(항등원과 역원을 의미한다.) • xyz(x + (y + z) = (x + y) + z)를 번역하면, “For every real number x, for every real number y, and for every real number z, x + (y + z) = (x + y) + z.”이고, 이는 실수의 덧셈에 있어서 결합법칙을 나타낸다.

3. Nested Quantifiers  Statements (2/3) Nested Quantifiers • 예제 • Variable의 domain이 모두 실수일 때, 다음을 번역하라. xy((x > 0)  (y < 0)  (xy< 0)) • 풀이:“For every real number x and for every real number y, if x > 0 and y < 0,then xy< 0.”

4. Nested Quantifiers  Statements (3/3) Nested Quantifiers • 예제 • C(x) = “x has a computer.”, F(x, y) = “x and y are friends.”이고,x와 y의 domain이 “all students in your school.”일 때, 다음을 번역하라. x(C(x)  y((C(y) F(x, y))) • 풀이:“For every student x in your school, x has a computer, or there is a student y (in your school) such that y has a computer and x and y are friends.”

5. Statements  Nested Quantifiers (1/2) Nested Quantifiers • 예제 • “If a person is female and is a parent, this person is someone’s mother.”를 predicate, domain = “all people”인 quantifier, logic operator로 표현하라. • 풀이 • 상기 문장은 다음과 같이 다시 쓸 수 있다. “For every person x, if person x is female and person x is a parent, then there exists a person y such that person x is the mother of person y.” • 명제 함수로 표현: F(x) = “x is female.” P(x) = “x is a parent.” M(x, y) = “x is the mother of y.” • 상기 명제 함수를 사용하여 표현하면 다음과 같다. x((F(x)  P(x))  yM(x, y))

6. Statements  Nested Quantifiers (2/2) Nested Quantifiers • 예제 • “Everyone has exactly one best friend.”를 predicate, domain = “all people”인 quantifier, logic operator로 표현하라. • 풀이 • 상기 문장은 다음과 같이 다시 쓸 수 있다. “For every person x, person x has exactly one best friend.” = “x(person x has exactly one best friend)” • 명제 함수로 표현: B(x, y) = “y is the best friend of x.” • “person x has exactly one best friend.”를 명제 함수를 사용하여 표현: y(B(x, y)  z((z  y)  ¬B(x, z)))  상기 명제 함수를 사용하여 표현하면 다음과 같다. xy(B(x, y)  z((z  y)  ¬B(x, z)))

7. Negating Nested Quantifiers Nested Quantifiers • 예제 • 다음 식의 부정을 표현하라. xy(xy = 1) • 풀이 Negation of xy(xy = 1) “모든 x에 대해서 xy = 1을 만족하는 y가 존재한다.” T or F?  ¬(xy(xy = 1)) ¬xy(xy = 1) x¬y(xy = 1) xy¬(xy = 1) • xy(xy  1) “어떤 x에 대해서 모든 y가 xy  1을 만족하는 x가 존재한다.” T or F?(x = 0) • x와 y의 domain에 따라서 진리 값이 달라질 수 있다.

8. Order of Quantifiers (1/3) Nested Quantifiers • 예제 • 술어 P(x, y) = “x+y = y+x”이고 x와 y의 domain이 실수일 때,xyP(x, y)의 진리 값은?그리고, yxP(x, y)의 진리 값은? • 풀이 • 모든 실수에 대하여 덧셈의 교환법칙이 성립하므로, xyP(x, y)의 진리 값은 true이다. 마찬가지로, yxP(x, y)의 진리 값 역시 참이다. • xy와 yx에 있어서, x와 y의 순서는 진리 값에 영향을 주지 않는다.

9. Order of Quantifiers (2/3) Nested Quantifiers • 예제 • 술어 Q(x, y) = “x + y = 0”이고 x와 y의 domain이 실수일 때, yxQ(x, y)와xyQ(x, y)의 진리 값은? • 풀이 • yxQ(x, y): 어떤 y에 대해 모든 x가 “x + y = 0”을 만족하는 y가 존재한다.  false (모든 x에 대해 x + y = 0를 만족하는 그러한 y는 없다.) 만일 Q(x,y) = “xy = 0” 이라면? • xyQ(x, y): 모든 x에 대해 “x + y = 0”을 만족하는 y가 존재한다.  true  yx와 xy에 있어서, x와 y의 순서는 진리 값에 영향을 준다.

10. Order of Quantifiers (3/3) Nested Quantifiers 변수가 두 개인 경우의 Quantifier 순서의 영향 모든 x에 대해서 적어도 P(x, y)를 true로 하는 y가 존재하면, 해당 식은 true가 된다. 어떤 x에 대해 모든 y가 P(x, y)를 true로 하면, 해당 식은 true가 된다.

11. 유용한 Equivalence Laws Nested Quantifiers • xP(x)  ¬x¬P(x) • xP(x)  ¬x¬P(x) • 상기 두 표현 식은 노트03에서 소개한 Quantifier 정의를 이용해 증명이 가능하다.(try it!) • (Remind) Quantifier의 정의: xP(x)  P(x1) P(x2) .... P(xn) xP(x)  P(x1) P(x2)  .... P(xn) • x(P(x)  Q(x))  (xP(x))  (xQ(x)) • x(P(x)  Q(x))  (xP(x))  (xQ(x)) • 상기 표현 식 역시 Quantifier 정의를 이용해 증명이 가능하다.(try it!)