Fórmula atómica
En lógica formal, una fórmula atómica es una fórmula bien formada que no tiene una estructura formal más profunda. 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. Las fórmulas compuestas (o moleculares) son formadas combinando las fórmulas atómicas usando las constantes lógicas.La forma de las fórmulas atómicas depende del sistema lógico con el cual se esté trabajando. En la lógica proposicional, por ejemplo, las fórmulas atómicas son las variables proposicionales. En lógica de predicados, son los predicados junto con sus argumentos.