Формула, истинная в некоторой интерпретации на некоторой оценке называется:

вопрос

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

Оставить комментарий

Отправить

• # Если в теории Г выводима формула (А - любая формула), то она:
• # Если А - замкнутая формула сигнатуры непротиворечивого множества Г и выводима А, то:
• # Если S не пусто, , то для того, чтобы F был фильтром нужно:
• # Конструктивно определяемая последовательность переменных, занятых, скобок и символов сигнатуры называется:
• # Верно утверждение: