Unformatted text preview: x and y each have domain { 1 , 2 , 3 } . Find an expression with no quantiﬁers that is logically equivalent to ∀ x ∃ y P ( x, y ) . 43. Taking the domain of x , y , and z to be the real numbers, match each of the statements (a) through (e) on the left with a logically equivalent statement on the right. a) ∀ y ( ( xz ) y 6 = 1 ) 1) x < z b) ∀ y ( ( xz ) y 2 6 = 1 ) 2) x ≤ z c) ∀ y ( ( xz ) y 2 6 =1 ) 3) x = z d) ∀ y ( x 6 = zy 2 ) 4) x ≥ z e) ∀ y ( x 6 = z + y 2 ) 5) x > z 21Sep2010, 2:46 pm...
View
Full Document
 Fall '10
 Ford
 Computer Science, Logic, Real Numbers, Computer Science & Software Engineering, logically equivalent statement

Click to edit the document details