Игра Эренфойхта определяется:

вопрос

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

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

Отправить

• # Формула (А - бескванторная ) общезначима, если общезначима дизъюнкция подстановок:
• # Если любая подструктура любой нормальной модели является ее моделью, то теория:
• # Если - минимальная глубина схемы, вычисляющая функцию , то:
• # Количество синонимов в списке ‹"арность", "местность", "валентность", "эквивалентность"› равна:
• # Формулу можно построить с использованием правила: