• Costruiti a partire da
  • Variabili
  • Costanti
  • Simboli di funzione
• Servono a denotare oggetti dell'universo del discorso

Definizione induttiva

• Dato un linguaggio del primo ordine L, sia C(L) = {c1, c2.. } l'insime delle sue costanti e F(L) = {f1, f2..} l'insieme dei suoi simboli di funzione, ciascuno con la sua arità.
• L'insieme T(L) dei termini di L è definito induttivamente:
  • Ogni variabile x è un termine di L
  • Ogni costante c in C(L) è un termine di L
  • Se f è un simbolo di funzione n-ario in F(L) e t1, t2 ... tn sono termini allora anche f(t1, t2..., tn) è un termine di L
  • Null'altro è termine di L