Prädikatenlogik/Atomarer Ausdruck/Definition

Atomarer Ausdruck

Unter einem atomaren Ausdruck versteht man Ausdrücke der Form  $s=t$,  wobei $s$ und $t$ Terme sind, und der Form $R{t}_1\dots t_n$, wobei $R$ ein $n$-stelliges Relationssymbol ist und $t_1,\dots ,t_n$ Terme sind.