1
$\begingroup$

There is no greater real number.

There is no positive integer that is greater than any other positive integer.

I was wondering if the negative sign is necessary here or not. Are there many different ways of writing the two statements?

  • 0
    You can write these by using that $$\neg \exists x (P(x)) = \forall x (\neg P(x)).$$2012-10-30
  • 0
    The *literal* translation of the mathematical English into symbols would use negation. For the first problem, we can say it using the equivalent "for any real number $x$, there is a real number $y$ such that $x \lt y$." However, negation cannot *always* be dispensed with.2012-10-30
  • 0
    @AndréNicolas ... especially not in the statement "negation cannot always be dispensed with" :)2012-10-30
  • 0
    I don't understand why you can write y > x, because it could also be interpreted as there is a greater real number y.2012-10-30

1 Answers 1

2

There are many ways of writing these statements using first order logic. As said by @JavaMan and @AndréNicolas, you can use the logical equivalence between the quantifiers.

There is no greater real number.

I assume that, as you're using "greater", there must be some number, lets say $n$, whom no real number can be greater than.

$G(x,y)$ means $x$ is greater than $y$. And assume $x,y,n \in \mathbb{R}$.

$\forall x ~\neg G(x,n)$ or $\neg \exists x ~G(x,n)$

There is no positive integer that is greater than any other positive integer.

$P(x)$ means $x$ is positive. In this case $x,y \in \mathbb{Z}$.

$\neg \exists x ~\forall y~P(x) \wedge G(x,y)$

I'll let you do the other ones.

Hope it was helpfull.