Процесс вывода можно представить:

вопрос

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

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

Отправить

• # Всякое непротиворечивое множество замкнутых формул:
• # Если А - предикатный символ валентности k, t1, t2, …, tk - термы, то выражение А(t1, t2, …, tk) - это:
• # Предикат определяемый формулой x=const:
• # Композиция двух изоморфизмов:
• # Игра Эренфойхта определяется: