Главная /
Языки и исчисления /
Если х - свободное вхождение в формулу А или В, то оно:
Если х
- свободное вхождение в формулу А
или В
, то оно:
вопрос
Правильный ответ:
может быть или нет свободным вхождением в
свободное вхождение в всегда
формула в или в
Сложность вопроса
68
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Я провалил сессию, почему я не углядел этот крутой сайт с всеми ответами по тестам интуит до сессии
21 ноя 2019
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Если А - замкнутая формула сигнатуры непротиворечивого множества Г и выводима А, то:
- # Множество теорем теории равенств:
- # Секвенция выводима тогда и только тогда, когда она:
- # Тождественное отображение:
- # Если в тавтологию вместо пропозициональных переменных подставить формулы сигнатуры, получим: