Esto es, una fórmula que no contiene conectivas lógicas, o equivalentemente, una fórmula que no tiene subfórmulas estrictas.
De esta manera, las fórmulas atómicas son las fórmulas bien formadas más simples del lenguaje de la lógica.
La forma de las fórmulas atómicas depende del sistema lógico con el cual se esté trabajando.
Para definir una fórmula atómica en la lógica de primer orden, primero es necesario definir la noción de término.
La misma se define recursivamente a través de las siguientes cuatro cláusulas: Más formalmente, esto se puede expresar de la siguiente manera: A partir de la noción de término se puede definir recursivamente la noción de fórmula bien formada del siguiente modo: Más formalmente: Dada la definición de fórmula bien formada, una fórmula atómica, o átomo, es simplemente una fórmula bien formada sin constantes lógicas, o equivalentemente, una fórmula bien formada generada solamente mediante la primera cláusula de la definición recursiva.