Em
Lógica matemática, uma
Fórmula Atômica (ou simplesmente
átomo) é uma
fórmula sem uma estrutura
proposicional mais profunda, isto é, uma fórmula que não contém
Conectivos lógicos, ou equivalentemente uma fórmula que não contém subfórmulas. Portanto, átomos são as mais simples
fórmulas bem formadas da lógica. Fórmulas compostas são formadas combinando as fórmulas atômicas utilizando conectivos lógicos.