Термы. Синтаксис языка логики предикатов

Выражения этого типа являются аналогами имен естественного языка.

Определение: а) любая предметная переменная и предметная константа есть терм; б) если   есть тер­мы и f¸ⁿ есть n-местный предметный функтор, то f¸ⁿ ( есть терм;  в) ничто, кроме указанного в пунктах а) и б), не есть терм.