Discussion:Théorème de complétude (calcul des propositions)
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | À évaluer |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
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)
Longueur d'un modèle[modifier le code]
La longueur d'un modèle n'est pas définie et je ne sais pas ce que c'est. Pourquoi ne parle-t-on pas de taille d'un modèle? En toute rigueur comme comme un modèle est une fonction partielle de l'ensemble des propositions atomiques, vers les valeurs de vérité, on devrait parler de la taille du support du modèle. --Pierre de Lyon (discuter) 9 juin 2017 à 11:52 (CEST)
Modèle initial[modifier le code]
Qu'est-ce qu'un modèle initial? --Pierre de Lyon (discuter) 9 juin 2017 à 11:58 (CEST)