answer and explain please.

Which of the following models are counter-models that shows that is not a logical consequence? xyP(x,y),x(yP(x,y)Q(x))xQ(x) Select one or more: D={a,b,c},PI={(a,b),(b,c),(c,a)},QI={a,b,c}.D={a,b},PI={(a,a),(b,b)},QI={a}. D=N,PI={(n,2n):nN,,QI={nN:n is odd } where N={0,1,2,} denotes the natural numbers. D={a,b,c},PI={(a,c),(b,c),(c,c)},QI={c}. D={a,b},PI={(a,b),(b,b)},QT={b}