0
$\begingroup$

I have the following formula: $\exists y \forall x ((x \geq y) \wedge \neg(y \geq x))$

This essentially boils down to: $\exists y \forall x (x > y)$

I have to check whether this applies to certain universes. But my result depends on whether I can assume that x can also equal y, because in that case the condition will never be true (how could a number be smaller than and at the same time equal to another number?).

Can you give me a hint?

  • 2
    @Franz: "For every $x$" means **for every** $x$. Period. But also keep in mind that when checking if it applies to "certain universes", the meaning of the variables and the symbols will depend on the universe. Not every object in the world is a number, and not every interpretation of $\geq$ is the same.2010-11-02
  • 0
    Which means my assumption that x can also be y is valid, right? Just makin' sure... ;)2010-11-02
  • 1
    @Franz: Yes; there are no restrictions on the quantification. But the meaning of the symbols $\geq$ and $\gt$ (and even whether you can "boil down" the condition to the conjunction to $x\gt y$) will depend on the universe in which you are checking. Don't be misled into thinking that the relation that $\geq$ represents in *every* universe necessarily has the same properties as the relation that it represents in the "usual" one.2010-11-02
  • 0
    Yup, makes sense.2010-11-02
  • 0
    I've validated my transformations for my universes. Thanks for the answer. I'd vote you up, if you'd make it an answer ;)2010-11-02
  • 0
    Oh, and just FYI. The universes we're talking about were ${0,1}$, $\mathbb{Z}$, $\mathbb{Q}_{>0}$ and $\mathbb{R}$.2010-11-02
  • 0
    @Franz: Note that to interpret the transformations, you must specify more than just the set, you must also specify the meaning of the symbol $\geq$. I've repeated my comment as an answer so the question can be marked as answered.2010-11-02

1 Answers 1

3

I'll put the answer here so the question can be marked as answered.

"For every $x$" means for every $x$, period. So, yes, there are no restrictions on $x$ not being equal to $y$; any such restrictions would have to be given as predicates (a clause $x\neq y$).

I'll note (as I did in the comments) that whether the transformation from $(x\geq y) \wedge \neg(y\geq x)$ is equivalent to $x\gt y$ (and whether $\gt$ is areflexive) depends on the interpretation of $\geq$ and $\gt$ on the universe in question. The specification of the universe should not be only the set, but also the meaning of the relational and functional symbols like $\geq$. Only if there is some working convention can you simply assume that the meaning will be "the usual one".