Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Ensemble et application Partie II
- Espaces vectoriels et Applications linéaires - supérieur
- Un best-of d'exos de probabilités (après le bac)
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... Maths sup LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Maths sup
Démonstration sur les ensembles
Posté par romu69
Bonjour à tous, j'ai une petite équivalence à démontrer mais je ne sais pas du tout comment faire pouvez vous m'aider? merci
Soient E un ensemble, A et B deux éléments de P(E). Montrer que
A∩B(barre)=A∩B(barre) 
A∩B=A∩B.
Pouvez vous me donner des pistes merci
Pourrais-tu vérifier ton énoncé ? 
(Quoiqu'en soi, ta relation ne soit pas fausse, puisque une totologie équivaut une totologie, mais ça a des applications limitées tout de même... 
)
Bon alors soit mon affichage foire à l'écran, soit les bases de tout fondement logique ont été perturbées cette nuit sans que j'en sois prévenu.
Pour moi tu as écrit que tu voulais montrer que :
Si E est un ensemble,
Ou celui de son professeur (pour l'humour ^^) ... C'est vrai que cet énoncé est plus farfelue qu'autre chose ...
Oui peut être mais dans tous les cas je dois le faire meme si l'énoncé est farfelu. et je n'ai aucune idée de comment le faire. meme si vous n'y arrivez pas vous n'avez pas une petite idée?
romu69, as-tu conscience de la saugrenuité de ce que tu demandes ?
Comme carpediem l'a dit, dans ce cas tu ne verrais pas d'inconvénient à prouver .
Le fait que (x étant un élémént quelconque) est vrai par définition de la relation d'égalité. Aussi la proprosition '
' est vraie pour tout élément x !
Aussi, ton exercice revient à prouver que deux choses vraies en toute circonstance, sont équivalentes ; ce qui en soi est juste mais ne se démontre pas.
Ce n'est donc pas qu'on ne peut pas y arriver, c'est qu'il n'y a rien à démontrer.
(Je peux tout de même te donner une piste pour ne rien faire : assieds-toi par terre, laisse le regard aller ou ferme les yeux, ça y'est tu es sur la bonne voie 
)