Главная /
Языки и исчисления /
Верна формула:
Верна формула:
вопросПравильный ответ:
Сложность вопроса
79
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Если бы не эти подсказки - я бы не осилил c этими тестами intuit.
06 авг 2017
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Замкнутым термам соответствуют:
-
#
Для замкнутой А можно указать
![math]()
этой же сигнатуры с добавленными функциональными символами, которая:
-
#
Если S не пусто,
![math]()
, то для того, чтобы F был фильтром нужно:
- # Если Г - множество формул, то тогда:
-
#
Контрпример к секвенции
![math]()
- это набор значений переменных, для которых все формулы:
этой же сигнатуры с добавленными функциональными символами, которая: 
, то для того, чтобы F был фильтром нужно: 
- это набор значений переменных, для которых все формулы: