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

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

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

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

неопределен

неразрешим(Верный ответ)

разрешим

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

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

Для произвольных формул А, В:

Из выводимости "Сколемовской нормальной формы", выводимость формулы:

Из выводимости формулы, выводимость ее "Сколемовской нормальной формы":

Для любого непротиворечивого множества замкнутых формул полное непротиворечивое множество замкнутых формул той же сигнатуры:

Верно утверждение для произвольных литералов, конъюнктов и дизъюнктов:

Глубина атомарных формул равна: