04b前束范式+逻辑习题.pptVIP

04b前束范式+逻辑习题 Parsing Multivariate Quantification When evaluating an expression such as ?x ?y ?z P (x,y,z ) translate the proposition in the same order to English: There is an x such that for all y there is a z such that P (x,y,z) holds. Parsing Example P (x,y,z ) = “y - x ≥ z ” There is an x such that for all y there is a z such that y - x ≥ z. ?There is some number x which when subtracted from any number y results in a number bigger than some number z. Q: If the universe of discourse for x, y, and z is the natural numbers {0,1,2,3,4,5,6,7,…} what’s the truth value of ?x?y ?