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.