Quantificateurs et négation

[Ncdk]

Bonjour,

Je me posais une question dont je n'ai pas la réponse. Je voulais formuler une phrase en français concernant la négation de la phrase "f est croissante". (f est définie de R dans R)

Pour se faire on s'intéresse aux quantificateurs, mais c'est le passage des quantificateurs qui me posent problème, on peut mieux faire que commencer par "Il existe x,x'..." ? Hormis la phrase "f n'est pas croissante".

Merci d'avance

[LB2]

f croissante : "f conserve l'ordre"
f non croissante : et : il existe deux réels dont les images sont "en ordre inverse"

[LB2]

La négation de A implique B est bien "A et non B".
En effet, l'implication A implique B est logiquement équivalente à "B ou non A"