Выводимость формулы из секвенции

Автор темы Leiba 
ОбъявленияПоследний пост
ОбъявлениеРаботодателям и кадровым агентствам: Размещение вакансий26.03.2008 03:07
ОбъявлениеОткрыта свободная публикация вакансий для математиков26.09.2019 16:34
ОбъявлениеКниги по математике и экономике в добрые руки!10.08.2023 09:45
31.07.2007 14:12
Выводимость формулы из секвенции
Мне не надо всё решение, но хотя бы идею.

Условие тут:
http://topclub.ru/matlogika.jpg

(40 кб)

Заранее спасибо.

01.08.2007 01:11
Добавьте тексты задач!
Отредактируйте ваше сообщение, добавив в него тексты задач! Иначе соощение будет удалено. Картинки это конечно замечательно, только когда они пропадают понять чего хотел автор и кто и что нарешал бывает как правило невозможно....
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти