Tout ou partie de cet article est issu de la traduction de l'article sous licence CC-BY-SA « (en) Propositional formula » dans sa version du 08/09/2016.
Consultez l'historique de la page originale pour connaître la liste de ses auteurs.
Cet article est indexé par les projets Informatique théorique et Logique.
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 |  | Informatique théorique (discussion • critères • liste • stats • hist. • comité • stats vues) |
 | Logique (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.