Démonstration d'une Théorème

[ameur_sad]

Salut tous le monde
j'ai un problème en logique mathematique , ça pour démontrer
une théorème qui dit la chose suivante:
Soit E un ensemble complet , A et B deux formules Alors :
1) A appartien E ssi E |-- A.
2) A n'appartien pas E ssi non A appartien E.
3) A ou B appartien E ssi A appart E OU B appart E.
4) A et B appartien E ssi A appart E ET B appart E.
5) (A ==> B) appartien E ssi A n'appartien pas E OU B appart E.
Fin.

j'espère que la réponse sera envoyée sur mon E-mail si ça possible .
Merci tous le monde..