How to express these phrases mathematically

  • Context: Undergrad 
  • Thread starter Thread starter math.exo
  • Start date Start date
  • Tags Tags
    Logic
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 1K views
math.exo
Messages
1
Reaction score
0
look at this phrase :

'il existe un entier multiple de tous les autres' : there is an integer multiple of all other

'tout réel posséde une racine carrée dans IR ':any real has a square root in IR

'tout les réels ne sont pas des quotients d'entiers': any real (any actual) are not integer quotients

'certains réels sont strictement supérieurs à leur carré ':some real are strictly above their square

I need to write it on mathematical form.
 
Physics news on Phys.org
math.exo said:
'il existe un entier multiple de tous les autres' : there is an integer multiple of all other

## \exists zn : z \in ℤ ## (all other what?)

math.exo said:
'tout réel posséde une racine carrée dans IR ':any real has a square root in IR

## \forall r \in ℝ \exists \sqrt{r} \in IR ## (what is IR in this context?)

math.exo said:
'tout les réels ne sont pas des quotients d'entiers': any real (any actual) are not integer quotients

## \forall r \in ℝ \nexists \frac{a}{b} : \frac{a}{b} \not\in ℤ ##

math.exo said:
'certains réels sont strictement supérieurs à leur carré ':some real are strictly above their square

## \exists r \in ℝ : r > r^2 ##
 
I would say : $$\exists m\in\mathbb{N}:k|m\forall k\in\mathbb{N}$$

The second i don't understand what IR is.

The third : $$\exists x\in\mathbb{R}:x\neq \frac{a}{b} \forall a,b\in\mathbb{Z}$$