Научный форум dxdy
Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Список форумов
»
Математика
»
Помогите решить / разобраться (М)
Теорема об интерполяции Крейга, пример в логике 1 порядка
Пред. тема
|
След. тема
alex_dorin
Теорема об интерполяции Крейга, пример в логике 1 порядка
03.01.2018, 12:28
Последний раз редактировалось Lia 03.01.2018, 12:31, всего редактировалось 1 раз.
Здравствуйте !
Подскажите пример в логике первого порядка с равенством применения теоремы об интерполяции Крейга.
arseniiv
Re: Теорема об интерполяции Крейга, пример в логике 1 порядка
05.01.2018, 22:23
Можно как-нибудь уточнить вопрос? Чем простая подстановка некоторых двух формул вместо произвольных в формулировку теоремы недостаточно хороша?
alex_dorin
Re: Теорема об интерполяции Крейга, пример в логике 1 порядка
07.01.2018, 23:54
Да, утончение решает вопрос, вопрос снят.
Страница
1
из
1
[ Сообщений: 3 ]
Список форумов
»
Математика
»
Помогите решить / разобраться (М)