离散数学 Nested Quantifiers 嵌套量词.pptVIP

2006-2-1 The Foundations:Logic and Proof Guo Jian §1.4 Nested Quantifiers（嵌套量词） Introduction nested quantifiers occur within the scope of other quantifiers ?x ?y(x+y=0) (1) Example 1 (page 51) the domains for x，y and z all real numbers ?x ?y (x+y=y+x)commutative law true ?x ?y (x+y=0) true ?x ?y ?z (x+(y+z)=(x+y)+z) true associative law (2) Example 2 (page 45) ?x ?y ( (x0) /\ (y0)→(xy0)) the domainall real numbers