《离散数学》杨争锋ch01-3幻灯片资料.pptVIP

§1.4 Nested Quantifiers Introduction nested quantifiers occur within the scope of other quantifiers ?x ?y(x+y=0) 3. The order of Quantifiers Example 3 (page 52) P(x,y)”x+y=y+x” universe of discourseall real numbers How about ?x ?y P(x,y)true ?y ?x P(x,y)true We have: ?x ?y P(x,y) ≡ ?y ?x P(x,y) (2) Example 4 (page 52) Q(x,y)”x+y=0” universe of discourseall real numbers How about ?y ?x Q(x,y) and? x ?y Q(x,y)? Solution: (a) ?y ?x Q(x,y)There is a real number y such that for every