Atomære formlar

Hvis R er et relasjonssymbol med aritet > 0, og t1,…,tn er termer, er R(t1,…,tn) en atomær formel.. Hvis ariteten = 0 er R en atomær formel. Eksempel i det enkle språk Signatur <a; f,g; P, R>, ariteten til f og P er 1, og til g og R er den 2. Noen formler: Pa, Px, Pfx, Pffa, Pgaa, Raa, Rafx, Rgxaa