Formule atomique

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En logique mathématique, une formule atomique ou atome, est une formule qui ne contient pas de sous-formules. Cette définition varie selon 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 le système logique utilisé, les formules bien formées dans le système logique sont typiquement définies récursivement, en identifiant toutes les formules atomiques valides, puis en donnant les règles pour créer des formules bien formées à partir d'autres formules bien formées. Les formules construites à partir de formules atomiques sont des formules composées.

Avec les formules atomiques ou atomes, on forme les littéraux qui sont des formules atomiques ou des négations de formules atomiques.