1

The statement i want to translate is this: x is the smallest real number and P(x) is false

$\exists x \in \mathbb{R} \forall y \in \mathbb{R} \neg (P(x)); x > y$

I don't know how to put two statements in one predicate sentence.

hjggh
  • 183
  • 1
  • 7

1 Answers1

2

You don’t want the existential quantifier: ‘$x$ is the smallest real number’ is simply $$\forall y\in\Bbb R\Big(\lnot(y<x)\Big)\;.$$ Since ‘$P(x)$ is false’ is $\lnot P(x)$, the conjunction of the two is simply

$$\forall y\in\Bbb R\Big(\lnot(y<x)\Big)\land\lnot P(x)\;.$$

This says that some $x$ that was presumably specified previously has the desired properties.

The existential quantifier is needed if you want to say that such an $x$ exists:

$$\exists x\left(\forall y\in\Bbb R\Big(\lnot(y<x)\Big)\land\lnot P(x)\right)\;.$$

Brian M. Scott
  • 616,228
  • Note that you can also write the equivalent (to middle statement) by stating, essentially, there does not exist a y such that $y < x$ and not $P(x)$, i.e. $ \lnot \exists y \in \mathbb{R} \left(y < x\right) \land \lnot P(x)$. – amWhy Oct 30 '12 at 22:12
  • "$x$ is the smallest $R$" implies uniqueness, $(\forall y \in R)x \leq y$ doesn't. So the first translation won't quite do, strictly speaking. – Peter Smith Oct 30 '12 at 22:22
  • Also, if you want to say that a real number x exists such that the above is true, then simply enclose the above in parentheses and put "$\exists x \in \mathbb{R}$" in front of $(\lnot \exists y \in \mathbb{R} \left(y < x\right) \land \lnot P(x))$. – amWhy Oct 30 '12 at 22:24
  • @Peter: That depends on what is assumed about $\Bbb R$. I took it as given that $<$ is a linear order on $\Bbb R$. If one does not make some assumption, one ends up writing down axioms for $\langle\Bbb R,<\rangle$ as (at least) a linear order. – Brian M. Scott Oct 30 '12 at 22:25
  • @Brian I'd say, qua logician, that there is a difference between translating (what the OP was after) and giving a sentence that provably equivalent on non-logical background assumptions. The canonical translation of something of the form "$a$ is the $F$" using standard first-order apparatus should run $Fa \land \forall y(Fy \to y = a)$ or the like. – Peter Smith Oct 31 '12 at 13:11
  • @Peter: At the relevant level of mathematical sophistication, the English sentence can’t be translated without some non-logical background assumptions. You want to make fewer than I did; that’s fine $-$ another day I might feel the same way. Moreover, at this level there are few canonical translations: the acceptability of a translation is entirely up to the instructor. I’d be more inclined to take your view of the matter if I thought that the point of this particular exercise was to translate is the unique x such that, but I don’t: I think that it’s early days still. – Brian M. Scott Oct 31 '12 at 16:10