2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Теорема об интерполяции Крейга, пример в логике 1 порядка
Сообщение03.01.2018, 12:28 


08/03/11
273
Здравствуйте !
Подскажите пример в логике первого порядка с равенством применения теоремы об интерполяции Крейга.

 Профиль  
                  
 
 Re: Теорема об интерполяции Крейга, пример в логике 1 порядка
Сообщение05.01.2018, 22:23 
Заслуженный участник


27/04/09
28128
Можно как-нибудь уточнить вопрос? Чем простая подстановка некоторых двух формул вместо произвольных в формулировку теоремы недостаточно хороша?

 Профиль  
                  
 
 Re: Теорема об интерполяции Крейга, пример в логике 1 порядка
Сообщение07.01.2018, 23:54 


08/03/11
273
Да, утончение решает вопрос, вопрос снят.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: dgwuqtj


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group