Si ricordi: un simbolo di funzione n-ario f/n si interpreta come una funzione f che mappa ogni n-upla (o₁,...,o_n) di oggetti dell'universo in uno ed un solo oggetto o dell'universo; in LOGI scriviamo (o₁,...,o_n)->o e rappresentiamo una funzione come un insieme di "mappature" di questa forma.

Ad esempio sull'universo {0,1} possiamo interpretare il simbolo bitsum come:

bitsum := {(0,0)->0, (0,1)->1, (1,0)->1, (1,1)->0}

NOTA. In FOL le funzioni sono totali, ovvero una funzione n-aria mappa ogni n-upla di oggetti dell'universo in uno ed un solo oggetto dell'universo.