una fbf atómica del cálculo de oraciones es una letra de oraciones, (por ejemplo "p"), en contraste con una fbf compuesta o "molecular", (por ejemplo, "p ∨ q").
Una fbf atómica del cálculo de predicados es una letra de predicado n-posicional seguida de n variables o términos singulares.
Un enunciado atómico, analogamente, es un enunciado que no contiene otros enunciados como componente. (Haack, 1978).