Главная /
Языки и исчисления /
Всякая выводимая в исчислении предикатов формула:
Всякая выводимая в исчислении предикатов формула:
вопросПравильный ответ:
является общезначимой
не является общезначимой
является правилом вывода
Сложность вопроса
89
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Если бы не эти решения - я бы не справился c этими тестами intuit.
18 ноя 2017
Аноним
Я провалил зачёт, почему я не увидел этот чёртов сайт с всеми ответами с тестами intuit прежде
10 окт 2015
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.