Alors bonjour à tous j'ai des exercices de logiques sur les quantificateurs et j'ai quelques questions à vous poser

Alors il s'agit, à partir d'une assertion, de trouver sa négation donc pour savoir si je suis sur le bon chemin est-ce que ce que je dis est juste ?

Assertion : "il existe x appartenant à [0;2] tel que f(x)=4

Pour la négation j'ai proposé : "il n'existe pas de x appartenant à [0;2] tel que f(x)=4

Donc voilà et si je suis sur le bon chemin, existe-t-il un symbole qui signifie "il n'existe pas" ? j'ai pensé au E à l'envers barré ou bien j'ai pensé dire "il existe x appartenant à R privé de R" (qui est un peu idiot je pense mais bon )

Bref merci beaucoup d'avance pour ceux qui auront le courage de m'aider

Tu connais le quantificateur du A renversé. C'est 'pour tout'

essaie d'utiliser le quantificateur pour tout (quelque soit), de manière générale ce sera nettement mieux pour exprimer une négation, utiliser un raisonnement par l'absurde, contraposée etc de prendre la négation de il existe par quelque soit( pour tout) et vice versa

Oh c'est vrai que j'ai pas du tout pensé a utilisé le pour tout
Merci

Merci aussi leMatheu