Bonjour a tous, je galère sur un problème de logique dont voici l'énoncé :
Soit (A,lambda) une famille de partie de E.
1) Montrer que (A,lambda)barre = (A,lambda)barre
2) Montrer que f(A,lambda = f(A,lambda)
3) Montrer que f(A,lambda) f(A,lambda)

Mes réponses :
1) Soit e un élément.
eA,lambda lambda \ e A,lambda
En passant au complementaire :
e(A,lambda)barre lambda , e A,lambda e (A,lambda)barre

Et ensuite, ben je galère et je n'y arrive pas :'(. Merci d'avance a tous de votre aide