Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Ensemble et application Partie II
- Espaces vectoriels et Applications linéaires - supérieur
- Un best-of d'exos de probabilités (après le bac)
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
traduire en langage formel
Posté par titemoi (invité)
Bonsoir tout le monde,
J'aimerais savoir comment traduire en langage formel des choses comme f n'est pas la fonction nulle.....
Deuxiémement, est-ce-que le langage formel, c'est mettre une fléche pour signifier que sa décroit?
Merci d'avance
Aurore
Posté par N_comme_Nul (invité)re : traduire en langage formel
Salut !
Pour ta fonction , on va supposer que son ensemble de définition est un certain ensemble
à valeur dans ce que tu veux, pourvu qu'il y ait un "0".
Traduisons d'abord ce que signifie que est nulle sur
:
En passant à la négation, on trouve la formalisation de " non nulle":
Posté par titemoi (invité)re : traduire en langage formel
Merci N_comme Nul
jai encore quelques questions :
Comment on va ecrire que f ne s'annule pas dans R , c'est quoila difference avec f n'est pas une fonction nulle en ecriture formel?
Aussi comment ecrire que f n'est pas d&écroissante? Et que Z est une partie non minorée de R?
vOILA? MERCI D4AVANCE
Aurore
Salut,
"Comment on va ecrire que f ne s'annule pas dans R , c'est quoila difference avec f n'est pas une fonction nulle en ecriture formel?"
La différence, c'est que ne pas s'annuler dans implique ne pas être la fonction nulle alors que la réciproque est fausse...
Un exemple tout simple : . Cette fonction n'est pas la fonction nulle, et pourtant elle s'annule dans
.
Pour répondre à ta question "Comment on va ecrire que f ne s'annule pas dans R ? ", c'est tout simple, il suffit de retranscrire le fait qu'elle ne s'annule jamais quel que soit x.
On a donc :
.
En ce qui concerne la décroissance, utilise la définition donnée en seconde pour le traduire de façon formelle.
()
à+
