Ausdruck eines logischen Kalküls, der als logischer Ausdruck nicht weiter zerlegbar ist.

Für den Aussagenkalkül sind die Aussagenvariablen und für den Prädikatenkalkül Term-gleichungen und Zeichenreihen der Gestalt R(t_i,…,t_n) atomare Ausdrücke, wobei R ein n-stelliges Relationszeichen ist und t_i,…,t_n Terme sind.