Общезначима формула:

вопрос

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

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

Отправить

• # Тавтологией является формула (A, B - формулы):
• # Любое совместное множество замкнутых формул:
• # Нормальная интерпретация А сигнатуры S с равенством может быть расширена до нормальной модели теории Т, если:
• # Процесс вывода можно представить:
• # В элиминация кванторов: