Если отрицание замкнутой формулы общезначимо, то она:

вопрос

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

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

Отправить

• # Если бесконечное множество противоречиво, то некоторое его конечное подмножество будет:
• # Из множества всех истинных в N формул сигнатуры не выводится формула:
• # Любую модель теории D(A) можно считать расширением интерпретации А, если:
• # Процесс вывода можно представить:
• # Верна формула: