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
- Un best-of d'exos de probabilités (après le bac)
- Espaces vectoriels et Applications linéaires - 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... Autre LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau autre
Quantificateur
Posté par diazer (invité)
Bonjour,
voilà un exercice sur les quantificateurs:
En utilisant les quantificateurs "quel que soit" et "il existe" traduire chacune des propositions suivantes: (I étant un intervalle de 
)
P1:"la fonction f est paire sur I"
P2:"la fonction f est majorée sur I"
P3:"la fonction f s'annule sur I"
P4:"la fonction f est identiquement nulle sur I"
P5:"tout nombre complexe admet une carrée"
P6:"f est une fonction affine"
Voulez-vous essayer de m'aider à le résoudre.
Merci d'avance.
Bonjour
Quel est le problème ?
Je te traduis sans quantificateur les 3 premières, à toi de mettre les quantificateurs et de faire le reste.
p1 : Pour tout x de I, -x appartient à I et f(x)=f(-x)
p2 : Pour tout x de I, il existe M réel tel que f(x) < M
p3: Il existe x appartenant à I tel que f(x)=0
Ce n'est pas si compliqué, si ?
Posté par diazer (invité)re : Quantificateur
p1: Pour tout x de I, il exsiste -x appartenant à I et f(x)=f(-x)
p2: Pour tout x de I, il existe M réel tel que f(x) < M
p3:Il existe x appartenant à I tel que f(x)=0
p4:Il existe une fonction f=0 quel que soit I
p5:Quel que soit le nombre complexe il existe une racine carrée
p6:Il existe une fonction f affine
C'est ca que je devait trouvé?
Citation :
p4:Il existe une fonction f=0 quel que soit I
p5:Quel que soit le nombre complexe il existe une racine carrée
p6:Il existe une fonction f affine
p4:Il existe une fonction f=0 quel que soit I
p5:Quel que soit le nombre complexe il existe une racine carrée
p6:Il existe une fonction f affine
Tu as relu ce que tu as écrit ? Ce n'est presque pas français...
p4 : Pour tout x de I, f(x)=0
p5 : Pour tout z de C, il existe z' dans C tel que (z')²=z
p6 : pour tout x de R, il existe a et b respectivement dans R* et R tels que f(x)=ax+b