|
alex_dorin |
|
|
|
Последний раз редактировалось Lia 03.01.2018, 12:31, всего редактировалось 1 раз.
Здравствуйте ! Подскажите пример в логике первого порядка с равенством применения теоремы об интерполяции Крейга.
|
|
|
|
 |
|
arseniiv |
|
|
|
Можно как-нибудь уточнить вопрос? Чем простая подстановка некоторых двух формул вместо произвольных в формулировку теоремы недостаточно хороша?
|
|
|
|
 |
|
alex_dorin |
|
|
|
Да, утончение решает вопрос, вопрос снят.
|
|
|
|
 |