Una proposición atómica, fórmula atómica o simple puede ser representada por una única variable proposicional inanalizable (en el contexto de la lógica proposicional) o como una fórmula bien formada donde todas las variables están ligadas (en el contexto de la lógica primer de primer orden).