How to express these phrases mathematically

  • Context: Undergrad 
  • Thread starter Thread starter math.exo
  • Start date Start date
  • Tags Tags
    Logic
Click For Summary

Discussion Overview

The discussion focuses on expressing certain phrases mathematically, particularly in the context of symbolic logic and mathematical notation. Participants are attempting to translate phrases from French into mathematical expressions, exploring the implications and definitions involved.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant presents several phrases in French and requests their mathematical representation.
  • Another participant suggests using symbolic logic and points out a potential error in the second phrase's interpretation.
  • Mathematical expressions are proposed for the phrases, including existential and universal quantifiers, but questions arise regarding the context of certain terms, such as "IR."
  • Different mathematical formulations are suggested for the phrases, with variations in notation and interpretation, particularly regarding integer quotients and square roots.

Areas of Agreement / Disagreement

Participants express differing views on the accuracy of the mathematical representations, and there is no consensus on the correct interpretation of certain terms or the validity of the proposed expressions.

Contextual Notes

Unresolved issues include the definition of "IR" in the context of the second phrase and the implications of the mathematical expressions proposed, which may depend on specific interpretations of the phrases.

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
I imagine you want to use symbolic logic? Still, your second sentence is wrong , in case that matters.
 
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}$$
 

Similar threads

  • · Replies 28 ·
Replies
28
Views
4K