Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Ensemble et application Partie II
- Équations différentielles : un Cours complet avec des exemples
- Un best-of d'exos de probabilités (après le bac)
- Espaces vectoriels et Applications linéaires - supérieur
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... Maths sup LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Maths sup
Problème notation
Posté par ferenc
Bonjour, cela a-t-il du sens de dire par exemple que ne serait-ce pas plutôt
R1) ou bien
R2) ou bien
R3)
Pouvez vous me dire celles qui sont juste est fausse, merci
pour ma première relation (), on l'appellera R0)
merci 
Je n'utilises jamais les quantificateurs symboliques dans un texte démonstratif ou autre. Dans le cas qui nous préoccupe ci, je dirais par exemple que l'on a pour tout
dans
(ou pour
quelconque dans, ...). En revanche, en langage mathématique, la topicalisation des quantificateurs devrait être conforme à ce qui suit :
.
Cependant, je sais que certains auteurs, voire certains collègues (mais pas moi !), s'autorisent d'écrire :
.
Je te prie donc d'attendre d'autres avis, comme celui de Camélia par exemple.
A +
Salut!
D'accord... De toute façon le quantificateur toujours avant la propriété! mais ici, moi aussi je dirais pout tout entier
tel que
.
Je ne me sers jamais des quantificateurs dans un texte... Uniquement dans des lignes entièrement mathématiques, genre définition de la convergence uniforme sur un intervalle...
Merci à vous deux... Mais pourquoi dans ce cas, l'abus de mettre le quantificateur à la fin est permis ??
merci
ah ok, vous l'écrivez en toute lettre... cependant je vous avoue que mon prof le fait tout le temps 
c'est grave ??
Par exemple, comment écririez vous:
c'est juste un exemple...
Non, je n'écrirais pas comme ça... et de toute façon je ne mettrais pas un quantificateur après chaque ligne...
Je mettrais
et surtout je rédigerais sous la forme
Soit . On a alors...
(je finirai par me mettre mal avec ton prof...)
Mais en même temps ça parait logique...
Par exemple (désolé d'insister, mais je suis assez surpris...) et j'en ai à la pelle des comme ça...
Typiquement on dit, une application est linéaire si:
donc ça c'est faux...
Juste pour vous dire une petite précision, je suis pas vraiment en math sup mais en première année de math à l'EPFL et j'ai 4 prof de maths différents, et il font tous ça, donc cette histoire m'inquiète un peu
merci pour votre réponse camélia
Non, je ne dis pas que c'est faux! Je dis que ce n'est pas la meilleure manière de faire... et que tant qu'il s'agit d'expliquer au tableau ou d'écrire vite, ce n'est pas grave! En revanche je n'accepterais pas ça, dans un article, et en cas de concours je favoriserais ceux qui ne le font pas...