題組內容
1. Suppose P(x, y) is some binary predicate defined on a very small domainof discourse: just the integers 1, 2, 3, and 4. For each of the 16 pairs of these numbers, P(x, y) is either true (T) or false (F), according to the following table ( x values are rows, y values are columns).
For example, P(1, 3) is false, as indicated by the F in the first row, third column.Use the table to decide whether the following statements are true, false or not enough information. Please give the related description about the reasons of your answers.(20%)
(a)\( \forall x \exists y P(x, y) \)