Consider the following predicate logic formula on the universe of integers. You are given four models below. For Each model, determine whether it satisfies the given fonmula. Then, provide a justification for each of your answers as demonstrated in the classes
a. P = {x|x is even}, Q={(x,y),x+y=10}, R={y|y is odd}
b. P = {x|x is prime}, Q={(x,y),x=y²}, R={y|y is even}
c. P = {x|x is multiple of 3}, Q={(x,y),x=y+7}, R={y|y is a multiple of 3}
d. P = {x|x is negative}, Q={(x,y),x=y³}, R={y|y is even}