Символы функций и предикатов в математической логике называются сигнатурой.

Давайте разберем это понятие более подробно:

• Сигнатура - это набор символов, который включает в себя:
• символы функций,
• символы предикатов,
• константы.
• Сигнатура определяет, какие функции и предикаты могут использоваться в данной логической системе.

Теперь давайте рассмотрим другие термины, упомянутые в вашем вопросе:

• Формула - это выражение, составленное из символов сигнатуры, которое может содержать логические операции.
• Терм - это выражение, которое может представлять объект в данной логической системе. Терм может быть константой, переменной или результатом применения функции к термам.
• Матом - это не стандартный термин в математической логике. Возможно, вы имели в виду "атом" - это простое логическое выражение, которое не содержит логических связок и может быть истинным или ложным.

Таким образом, правильный ответ на ваш вопрос - это сигнатура.