Um aficcionado por matemática faz estas três afirmações:

"X > Q e Z < Y"
"X > Y e Q > Y, se e somente se Y > Z"
"R ≠ Q, se e somente se Y = X"

Sabendo-se que todas as afirmações do aficcionado são verdadeiras, pode-se concluir corretamente que: