1
$\begingroup$

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.

  • 0
    +1 for showing your work and getting the "hang" of formatting!2012-10-30

1 Answers 1

2

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

$$\forall y\in\Bbb R\Big(\lnot(y

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

  • 0
    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)$.2012-10-30
  • 0
    "$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.2012-10-30
  • 0
    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))$.2012-10-30
  • 0
    @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.2012-10-30
  • 0
    @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.2012-10-31
  • 0
    @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.2012-10-31