Inscription / Connexion Nouveau Sujet
Niveau IUT/DUT
Partager :

Traduction Logique

Posté par
Yodan
15-12-08 à 17:44

Bonjour, je dois traduire ça sous forme de logique mais je bloque :

"f est décroissant sur R si et seulement si ..."

J'ai fait le début mais je bloque

Traduction Logique

Si quelqu'un peut m'aider, je lui en serai reconnaissant.

Posté par
Nightmare
re : Traduction Logique 15-12-08 à 17:54

Salut

f décroissante sur R se traduit par :
3$\rm \forall (x,y)\in \mathbb{R}, (x\le y\Rightarrow f(x)\ge f(y))

Posté par
1 Schumi 1
re : Traduction Logique 15-12-08 à 17:57

Jord >> Il manque un carré à côté de R.

Posté par
Yodan
re : Traduction Logique 15-12-08 à 18:01

Ce n'est pas <=> entre x < y et f(x) > f(y) pour montrer que c'est équivalent ?

Posté par
Nightmare
re : Traduction Logique 15-12-08 à 18:02

Oui il manque un carré ou on supprime les parenthèse, mais pas le mix que j'ai fait !

Posté par
Yodan
re : Traduction Logique 15-12-08 à 18:05

Merci beaucoup.

Donc pour exprimer de la même façon qu'elle est croissant sur R est-ce bon ceci ?
∀x ϵ R∀y ϵ R x > y <==> f(x) < f(y)

Posté par
1 Schumi 1
re : Traduction Logique 15-12-08 à 18:08

Ca ça serait plutôt pour "f strictement décroissant"...

Posté par
Yodan
re : Traduction Logique 15-12-08 à 18:23

C'est mieux ça ^^'

∀(x,y)∈ R x ≥ y ⇒ f(x) ≥ f(y)

Posté par
Nightmare
re : Traduction Logique 15-12-08 à 18:33

Ca c'est croissant

Posté par
Yodan
re : Traduction Logique 15-12-08 à 18:44

Je peux pour écrire "le contraire de f est croissante sur R" mettre l'opérateur non devant ?

Posté par
Nightmare
re : Traduction Logique 15-12-08 à 18:45

Le contraire de décroissant n'est pas croissant, contrairement à ce qu'on pourrait croire

Posté par
Yodan
re : Traduction Logique 15-12-08 à 18:50

Tu pourrais m'expliquer un peu stp parce que là je ne vois pas du tout ?

Posté par
Nightmare
re : Traduction Logique 15-12-08 à 18:53

Bah en fait déjà qu'est-ce que tu veux faire?

Ensuite pour le contraire de croissant, tu ne vois pas pourquoi ce n'est pas décroissant?

cela voudrait dire qu'une fonction est soit croissante, soit décroissante. Ca te parait vrai?

Posté par
Yodan
re : Traduction Logique 15-12-08 à 19:06

En fait ma question de savoir si  "f décroissante sur R" est le contraire de "f croissante sur R".

Donc à la vue de ce que tu viens de dire la réponse est non.

Et à la suite de ça je dois écrire en langage mathématique logique "le contraire de f est croissante sur R".

Même si une fonction peut être différente, dans mon esprit l'inverse de croissant était décroissant -_-"

Posté par
Nightmare
re : Traduction Logique 15-12-08 à 19:09

Eh non, une fonction peut très bien être ni décroissante, ni croissante ! Regarde la fonction carré sur R...

Pire que ça, on a des monstres pathologiques qui ne sont monotones sur aucun intervalle (bien que continus)!

Bref, l'idée est simplement de prendre la négation de ta phrase quantifiée en réfléchissant un peu.

f croissante sur R se traduit comme on l'a dit par :

Pour tout x et y réels, x < y => f(x)> f(y)

Dire que f n'est pas croissante sur R peut alors se traduire par :
Il existe deux réels x et y tels que x < y et f(x) < f(y) (remplace les inégalités strictes par des inégalités larges).

A toi de quantifier.

Posté par
Yodan
re : Traduction Logique 15-12-08 à 19:15

Donc ça donne ça ? :

∀(x,y)∈ R x < y ∩ f(x) < f(y)

Posté par
Nightmare
re : Traduction Logique 15-12-08 à 19:43

Non, j'ai dit "il existe", pas "pour tout" et ensuite l'intersection ne fait pas parti des symboles propositionnels.

Posté par
Yodan
re : Traduction Logique 15-12-08 à 19:47

∃(x,y)∈ R x < y ∩ f(x) < f(y)

∩ -> je n'ai pas le symbole "et" dont je l'ai remplacé ^^'

Posté par
Nightmare
re : Traduction Logique 15-12-08 à 19:52

dans ce cas là c'est bien ça.

Posté par
Yodan
re : Traduction Logique 15-12-08 à 20:48

Merci ^^

Posté par
Nightmare
re : Traduction Logique 15-12-08 à 20:50

Je t'en prie



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !