Forum de Mathématiques: Maths-Forum

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 app...