Define a reasonable universe of discourse for each of the fo

Define a reasonable universe of discourse for each of the following predicates.

(a) p(x):x has four sides;

(b) q(y): Calvin is sitting next to y;

(c) r(x, y): x is on top of y;

(d) s(y, z): z is a child of y.

Solution

a) U:polugon with n sides

d) U:all people

c)U: all people

d)U: all parents