Formule Atomique

Une formule qui ne contient ni connecteurs logiques (tels que ∧, ∨, →, ¬) ni quantificateurs ; en logique du premier ordre une formule atomique (atome) est typiquement un symbole de prédicat appliqué à un tuple de termes (y compris des atomes d'égalité), servant d'élément indivisible pour construire des formules complexes.