Discuter:Théorème de complétude (calcul des propositions)

Un article de Wikipédia, l'encyclopédie libre.

	Théorème de complétude (calcul des propositions) fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser.
À évaluer	Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet.

Je modifie légèrement l'article en utilisant des notations compatibles avec d'autres articles sur la logique. Theon 21 février 2006 à 11:15 (CET)