Topologie !

[barbu23]

Je ne sais pas trop ce que tu veux dire par:

Je voulais écrire : , mais d'après la discussion de l'autre jour sur "l'ensemble vide" :

(P):

c'est la même proposition logique que

(P'):

et est toujours vraie, donc (P) est toujours vraie.

En général, pour n'importe quelle proposition Q

est vraie

:
tes explications sont coherentes .. !! Tu as parfaitement raison .. !
Le vide est contenu dans ni'mporte quel ensemble !

Merci en tous cas !!

[kazeriahm]

puis sans vouloir m'immiscer subreptiscement dans cette discussion :

ca n'a pas grand interet de parler de l'ensemble vide. Il a toutes les propriétés cet ensemble