|
alex_dorin |
Теорема об интерполяции Крейга, пример в логике 1 порядка  03.01.2018, 12:28 |
|
08/03/11
273
|
Последний раз редактировалось Lia 03.01.2018, 12:31, всего редактировалось 1 раз.
Здравствуйте !
Подскажите пример в логике первого порядка с равенством применения теоремы об интерполяции Крейга.
|
|
|
|
 |
|
arseniiv |
Re: Теорема об интерполяции Крейга, пример в логике 1 порядка 05.01.2018, 22:23 |
|
| Заслуженный участник |
 |
27/04/09
28128
|
|
Можно как-нибудь уточнить вопрос? Чем простая подстановка некоторых двух формул вместо произвольных в формулировку теоремы недостаточно хороша?
|
|
|
|
|
|
alex_dorin |
Re: Теорема об интерполяции Крейга, пример в логике 1 порядка 07.01.2018, 23:54 |
|
08/03/11
273
|
|
Да, утончение решает вопрос, вопрос снят.
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 3 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
