Négation proposition

[mehdi-128]

Bonjour,

Soit un prédicat. La proposition " " est fausse par définition.

Je ne comprends pas, dans mon livre il disent que la négation est :

La proposition " " est vraie.

Mais quand je fais la négation je trouve : " "

Du coup je n'ai pas compris

[GaBuZoMeu]

Est-ce vraiment ce qui est écrit dans ton livre ? Je veux dire, est-il écrit dans ton livre que la négation de est ??
Dans ton livre, ils disent sûrement que, quel que soit le prédicat , la formule est vraie. En effet, on ne pourra jamais exhiber un élément de l'ensemble vide vérifiant - tout simplement parce que l'ensemble vide n'a pas d'élément.

À part ça, je suis bien d'accord avec toi que la négation de est équivalente à .

[mehdi-128]

Ok je vous mets le passage exact alors.

On a admet qu'il existe un unique ensemble, appelé ensemble vide et noté qui ne contient aucun élément et qui est donc tel que tout prédicat de la variable , l'assertion "" est fausse.

En appliquant l'item précédent à , on en déduit que tout prédicat de la variable , l'assertion "" est vraie.

[GaBuZoMeu]

Oui, eh bien il faut lire ce qui est écrit et pas autre chose !

En appliquant l'item précédent à

J'applique l'item précédent à , ça me dit que la formule est fausse, et donc en passant à la négation est vraie.

Où vois-tu que ce texte dit que la négation de est ???

[mehdi-128]

Merci j'ai compris

J'avais fait une erreur d'interprétation !