# Thread: Predicate Logic #2

1. ## Predicate Logic #2

1. For each of the following:
i. Write/expand each of the following predicates using disjunctions, conjunctions, and negations.
ii. Determine the truth value of the following statements.

Given:
P(x,y): x < y3
Q(x,y): x –1> y2
R(x,y,z): x + y3 > z

Universe of discourse for variable x is N (natural numbers)
Universe of discourse for variable y is Z+ (positive integers)
Universe of discourse for variable z is R+ (positive real numbers)

1. "x$y P(x,y) 2.$y"x P(x,y)

3. "y"x Q(x,y)

4. $y$x Q(x,y)