Главная / Языки и исчисления / Теорема Эрбрана:

Теорема Эрбрана:

вопрос

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

если выводима math - формула, то существует конечное число подстановок с выводимой дизъюнкцией
если выводима math - формула, то существует конечное число подстановок с выводимой дизъюнкцией
если выводима math - формула, то выводима и math - формула
Сложность вопроса
80
Сложность курса: Языки и исчисления
65
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Какой студент гуглит вот эти вопросы по интуит? Это же безумно легко
16 дек 2020
Аноним
Зачёт защитил. Иду выпивать отмечать 4 за тест интуит
04 мар 2018
Оставить комментарий
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.