Интерпретация М теории Г, в которой все формулы из Г истинны в М - это:

вопрос

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

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

Отправить

• # Общезначимость формулы свободными переменными равносильна общезначимости ее:
• # Формула , c,d - const:
• # Аксиомой исчисления высказываний является:
• # В элиминация кванторов:
• # Для некоторой сигнатуры S две ее интерпретации называются элементарно эквивалентными, если: