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

Класс выразимых предикатов:

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

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

устойчивые формулы

кванторные формулы

бескванторные формулы(Верный ответ)

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

Если удалить символ < из сигнатуры $S = \left\langle { = , < ,0,1, + ,x} \right\rangle$ , класс выразимых предикатов:

Количество 2-местных предикатов:

Исчисление предикатов построено над:

Количество различных 1-местных предикатов:

Всякая выводимая в исчислении предикатов формула:

Количество различных 0-местных предикатов равно:

Вопрос о выводимости формулы исчисления предикатов сводится к выводимости: