That’s rather question for logicans not Pali scholars. I am neither. But it seems to me, X exist is on more general level since in order to be the same or different from y, it must exist.
Regarding “X doesn’t exist” as far as I remember such certainty cannot be reached by logic unless X is defined in self-contradictory terms, like round square.