Démonstration d'une théorème

Posté par ameur_sad ameur_sad

Salut tout le monde
j'ai un problème en logique mathematique , ça pour démontrer
une théorème qui dite 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.
Demontrer chaque partie 1,2,... de la théorème
j'espère que la réponse sera envoyée sur mon E-mail si ça possible .
Merci tout le monde..