1. Other
  2. Other
  3. exercise 192 truth values for statements with nested quantifiers ...

Question: exercise 192 truth values for statements with nested quantifiers ...

Question details

Exercise 1.9.2: Truth values for statements with nested quantifiers - small finite domain. About The tables below show the values of predicates P(x y). Q(X y) and S(x, y) for every possible combination of values of the variables x and y. The row number indicates the value for x and the column number indicates the value for y. The domain for x and y is 11, 2, 3). P1 2 3 Q 1 2 3 S 1 2 3 FİFIF Indicate whether each of the quantified statements is true or false

3x vy P(y, x) 3x y S(x, y)

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution