Dikwels is dit nodig om die atomiese sinne verder te ontleed in die ekwivalent van naamwoorde en werkwoorde. So kan ons die individu Andries aandui met a, die eienskap of aksie "om te gaan" met G( ), en die sin "Andries gaan" met G(a). Ons noem a 'n objeksimbool of konstante en G( ) 'n eenledige predikaat- of relasiesimbool. Enige letters kan gebruik word. In die predikaatlogika sal ons ons eerste argument hierbo só skryf: (1) G(a) Ú G(b) (2) ¬G(a) (3) G(b) Twee- en drieledige predikaatsimbole word gebruik om relasies tussen twee of drie objekte of individue uit te druk: P(a,b) kan beteken "a is groter as b"; en Q(a,b,c) kan beteken "a en b is onderskeidelik die pa en die ma van c". Verder het ons nog name, genoem veranderlikes, nodig.