Term

Řetězec symbolů v jazyce predikátové logiky nazýváme term, jestliže vznikne použitím následujících pravidel v konečně mnoha krocích:

1. Každá proměnná a konstanta je term
2. Jsou-li termy a je -ární (s aritou ) funkční symbol, potom je term