База ответов ИНТУИТ

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

<<- Назад к вопросам

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

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

Варианты ответа
0(Верный ответ)
2
1
Похожие вопросы
Значения разных атомарных формул выбирать независимо:
Глубина формулы \neg A равна:
Глубина формулы A \vee B равна:
Глубина формулы A \wedge B равна:
Для любого непротиворечивого множества замкнутых формул полное непротиворечивое множество замкнутых формул той же сигнатуры:
Глубина формулы \exists x:A:
Глубина формулы \forall x:A:
Всякое непротиворечивое множество замкнутых формул:
Любое совместное множество замкнутых формул:
Вопрос о выводимости произвольных формул языка первого порядка: