Bonjour, bienvenue
notre site est "fait" pour écrire des maths donc tu as plein d'aides possibles (en particulier l'éditeur Ltx)

extrait de la FAQ du forum :

Q10 - Puis-je insérer des symboles mathématiques afin de faciliter la lecture de mon message ?

Oui, cela est même encouragé.

Les correcteurs sont généralement plus attirés par un message bien écrit en Latex et bien présenté que par un message écrit avec les caractères normaux, non aéré, etc.

Le Latex est un outil mathématique qui pouvait nous permettre à tous de faciliter la lecture et la compréhension en écrivant proprement nos formules mathématiques. Nous vous invitons à prendre connaissance du guide latex présent sur le site. Un tutorial complet vous aide à faire vos premiers pas.
Bien-sûr, l'utilisation du Latex n'est pas obligatoire, mais pourquoi se priver d'un tel outil ?

Si ce langage vous semble trop compliqué à utiliser dans un premier temps, il vous est cependant possible d'insérer très simplement des caractères mathématiques dans votre texte en utilisant l'outil présent sous la zone de saisie du message. La liste complète des caractères mathématiques est disponible dans le mode d'emploi du forum.

Bonsoir Nowah.
Je t'écris la proposition 4 avec le menu .
x^* y^* z^* z-xy=0.

Mais je te conseille de regarder du côté , c'est toujours utile quand on veut écrire des maths.

La traduction en français est presque exactement ce que tu as écrit :
il existe un réel x non nul ( x^* ) tel que, quelque soient les réels non nuls y et z, on ait z-xy=0.

C'est le même principe pour les autres propositions, tu as presque terminé les traductions en français.

Merci à vous deux pour vos réponses, je tacherai d'essayer de me servir des signes mathématique à l'avenir.
Pour en revenir aux différentes assertions, mon prof m'a demandé de les traduire en français de façon à ce que les variables liées n'apparaissent pas dans la traduction, ex:
"x y " donc si je traduis comme mon prof me le demande ça donnerait quelque chose du genre "Tout réel est le carré d'un réel"
Or cette condition me paraît impossible à respecter pour les assertions de mon premier message, donc je vois pas trop quoi faire.

Salut,

Tout réel est le carré d'un réel"


Le "Tout" est la traduction en français  de

"d'un" la traduction de

Tout être vivant appartenant à l'espèce humaine possède un coeur.

pour tout y dans R (y>0 => (il existe x dans R   y=exp(x)))
Donc si je devais traduire :

"y (y>0 (x y=))"

Cela donnerait quelque chose du genre "Tout réel strictement positif possède un antécédent sur par la fonction exponentielle"

Qu'en pensez-vous ?

4.il existe x dans R*, pour tout y dans R*, pour tout z dans R*, z-xy=0


L'ensemble des réels possède un élément qui est le quotient de deux réels quelconques différents de zéro

On peut traduire l'assertion 4 par :
il existe un réel  non nul la chose ( x ) tel que si on choisi deux autres réels ( y et z ) non nuls le produit de la chose  par le premier des deux autres est toujours égal  au second des deux autres.
Ça devient vite incompréhensible et c'est pour cette raison qu'on a inventé les notations littérales.

Il y a longtemps j'ai lu une traduction ( je ne lis ni l'arabe ni le perse ) des premiers travaux sur la résolution des équations du second degré.
En imaginant que l'on ne connaisse pas les notations littérales il faut vraiment être très bon pour comprendre.

pour ton message de 21:09

Merci mousse42 pour ta réponse pour l'assertion 4, je n'avais pas du tout vu ça sous cet angle, je pense qu'avec de la pratique ça ira mieux.

Et tu as raison verdurin, ça devient très vite incompréhensible, j'ai du relire 2 fois avant de comprendre ^^

Merci à tous pour vos réponses en tout cas !