Если секвенция выводима в исчислении секвенций, то представляющая ее формула в исчислении высказываний:

Правильный ответ:

• # Вопрос о выводимости формулы исчисления предикатов сводится к выводимости:
• # Если теория аксиоматизируема, то подструктура ее нормальной модели является:
• # Исчисление секвенций - исчисление типа:
• # Предикат "двоичное слово x входит в двоичного слова y":
• # Общезначима формула: