Answer:
a) Q(-2,1) is false
b) Q(-5,2) is false
c)Q(3,8) is true
d)Q(9,10) is true
Explanation:
Given data is
is predicate that
then
. where
are rational numbers.
a)
when

Here
that is
satisfied. Then

this is wrong. since

That is

Thus
is false.
b)
Assume
.
That is

Here
that is
this condition is satisfied.
Then

this is not true. since
.
This is similar to the truth value of part (a).
Since in both
satisfied and
for both the points.
c)
if
that is
and
Here
this satisfies the condition
.
Then

This also satisfies the condition
.
Hence
exists and it is true.
d)
Assume

Here
satisfies the condition

Then

satisfies the condition
.
Thus,
point exists and it is true. This satisfies the same values as in part (c)