Формулу можно построить с использованием правила:

вопрос

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

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

Отправить

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