Главная /
Языки и исчисления /
Формула, истинная в некоторой интерпретации на некоторой оценке называется:
Формула, истинная в некоторой интерпретации на некоторой оценке называется:
вопросПравильный ответ:
выполнимой
тавтологией
силлогизмом
Сложность вопроса
81
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Это очень нехитрый тест intuit.
09 июн 2017
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Если в теории Г выводима формула (А - любая формула), то она:
- # Если А - замкнутая формула сигнатуры непротиворечивого множества Г и выводима А, то:
- # Если S не пусто, , то для того, чтобы F был фильтром нужно:
- # Конструктивно определяемая последовательность переменных, занятых, скобок и символов сигнатуры называется:
- # Верно утверждение: