Fórmula Atómica

Una fórmula que no contiene conectivos lógicos (como ∧, ∨, →, ¬) ni cuantificadores; en lógica de primer orden una fórmula atómica (átomo) es típicamente un símbolo de predicado aplicado a una tupla de términos (incluyendo átomos de igualdad), sirviendo como bloque indivisible para construir fórmulas complejas.