A logikában azon szimbólumokat, melyeket konstansokból, változókból, vagy függvényekből állítunk elő, termeknek nevezzük.
Term – wyrażenie składające się ze zmiennych oraz symboli funkcyjnych o dowolnej argumentowości z pewnego ustalonego zbioru.