If p(x,y):x,y, Q(x,y):x<=y, R(x):x-7=2, S(x):x>9, then

[anollipian]

I have a question :
consider the following predicates
if :
p(x,y) : x,y
Q(x,y) : x<= y
R(x): x-7=2
S(x):x>9

then give the truth value for :
if :
foreach y ( ~ S(y))

i don't want the answer i just need to know what exactly am i supposed to do ... i mean what does he want me to do :roll: ?

Thanks