Formule atomique

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant les mathématiques
Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En logique mathématique, une formule atomique ou atome, est une formule qui ne contient pas de sous-formules. La structure d'une formule atomique dépend de la logique considérée, p.ex. en logique des propositions les formules atomiques sont les variables propositionnelles.

Les atomes sont les formules les plus simples dans un système logique et servent à construire les formules les plus générales. Ainsi les formules bien formées dans un système logique sont définies récursivement, en donnant les règles pour créer des formules bien formées à partir d'autres formules bien formées, les formules atomiques servant de point de départ à la construction récursives.

À partir des formules atomiques, on créé dans les logiques où il existe une négation, des formules très simples qui sont appelées des littéraux ; ce sont soit des formules atomiques, soit des négations de formules atomiques. Ainsi si les formules s'écrivent a et la négation s'écrit ¬ , les littéraux sont soit a, ¬a.