Nella logica matematica, una formula atomica è una formula priva di una struttura proposizionale più profonda, cioè una formula che non contiene connettivi logici o equivalentemente una formula che non ha sottoinsiemi di formule rigorose. Wikipedia