Bonjour ou rebonjour,
j'ai posté il y a quelques jours un post sur un exercice de logique dans lequel on m'a très bien aidé, et c'est pourquoi je reviens ici pour avoir confirmation de mes réponses sur un second exercice.
Voilà l'énoncé :
Soit f une fonction de dans . Ecrire à l'aide de quantificateurs les propositions suivantes :
a) f n'est pas identiquement nulle
b) f ne s'annule pas
c) f s'annule quelque part
d) f est décroissante
e) f n'est pas croissante
f) f n'est pas bornée
g) f est périodique
Voici ce que j'ai répondu (à savoir qu'ici il faut juste utiliser des quantificateurs et non de connecteurs logiques) :
a) x, f(x) f(x)=0 (je dois avouer qu'ici je pense que c'est faux)
b) x, f(x)>0 ou f(x)<0
c) !x, f(x)=0
d) x, y, xy, f(x)<f(y)
e) x, y, xy, f(x)<f(y) ou f(x)>f(y)
f) x, a, f(x)>a
g) T, x, f(x+T)=f(x) (je pense me tromper dans l'ordre d'énonciation des variables)*
Je sais que ça représente du travail pour vous mais j'aimerais vraiment savoir ce qui va ou ne va pas, je vous remercie d'avance !