Логическое программирование

Исчисление разрешимо, если:

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

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

это конъюнкция конечного числа дизъюнктов

существует алгоритм определения того, является ли заданная формула общезначимой или нет(Верный ответ)

не существует алгоритма определения того, является ли заданная формула общезначимой или нет

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

Исчисление называется полным, если:

Исчисление называется достоверным, если:

Исчисление называется формально непротиворечивым, если:

Грамматика называется регулярной, если:

Программа является декларативной, если она:

Программа является императивной, если она:

Грамматика называется контекстно-свободной, если

Грамматика называется контекстно-зависимой, если:

Грамматика называется рекурсивно-перечислимой, если:

Формула находится в предваренной нормальной форме, если: