Fórmula atômica
Em Lógica matemática, uma Fórmula Atômica é 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.
Os termos bem-formados e proposições da Lógica de primeira ordem tem a seguinte sintaxe: isto é, um termo é recursivamente definido como uma constante c (um objeto nomeado do domínio), ou uma variável x (variando ao longo dos objetos do domínio em questão), ou uma função n-ária f que tem como argumentos os termos tk. A função mapea tuplas de objetos para objetos. isto é, uma proposição é recursivamente definida como sendo um predicado n-ário P cujos argumentos são os termos tk, ou uma expressão composta por Conectivos lógicos (e, ou) e quantificadores (para-todo, existe) utilizados com outras proposições. Uma Fórmula Atômica uÁtomo é simplesmente um predicado aplicado a uma tupla de termos; isto é, uma fórmula atômica é uma fórmula da forma P (t1, …, tn) para um predicado P, e termos tk. Todas as outras fórmulas bem-formadas são obtidas pela composição de átomos com conectivos lógicos e quantificadores.
