Back حد (رياضيات) Arabic تێرم CKB Term German Term (logic) English Termo EO Gai (matematika) EU ترم (ریاضیات) FA Termi (matematiikka) Finnish Terme (logique) French 항 (논리학) Korean
A logikában azon szimbólumokat, melyeket konstansokból, változókból, vagy függvényekből állítunk elő, termeknek nevezzük. Amennyiben egy nyelv összes függvényszimbólumának a leírása elérhető, előállítható az adott nyelven értelmezett összes term, a konstansok és változók behelyettesítésével.