Языки и исчисления

Конструктивно определяемая последовательность переменных, занятых, скобок и символов сигнатуры называется:

(Отметьте один правильный вариант ответа.)

Варианты ответа

термином

термом(Верный ответ)

терминалом

Похожие вопросы

Если в тавтологию вместо пропозициональных переменных подставить формулы сигнатуры, получим:

Формула, истинная в любой интерпретации сигнатуры называется:

Набор символов-обозначений в формулах с неотрицательными числами называется:

Для сигнатуры аксиомой равенства будет:

Множество истинных бескванторных формул сигнатуры с равенством и константами для всех элементов интерпретации - это:

В игре Эренфойхта, если есть предикат сигнатуры, различающий помеченные элементы интерпретации, то:

Бескванторная формула сигнатуры $S = \left\langle { = , < ,0,1, + ,x} \right\rangle$ :