Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Доказать что следующие формулы являются теоремами P.
16.01.2013, 10:13
Последний раз редактировалось ExploiT243 16.01.2013, 10:58, всего редактировалось 2 раз(а).
Доказать что следующие формулы являются теоремами P. Задача:
a)
b)
(задача из учебника Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов часть II, параграф 7, Номер 29)
Deggial
Posted automatically
16.01.2013, 10:33
Последний раз редактировалось Deggial 16.01.2013, 10:35, всего редактировалось 3 раз(а).
i
Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин» Причина переноса: формулы не оформлены ТеХом
Запишите формулы ТеХом. Инструкции по оформлению формул здесь или здесь (или в этом видеоролике). Уберите ссылки на рисунки, сами аксиомы тоже запишите ТеХом в теме. После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.
Deggial
Posted automatically
16.01.2013, 11:02
i
Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)» вернул
Someone
Re: Доказать что следующие формулы являются теоремами P.
16.01.2013, 12:15
А что такое ""?
ExploiT243
Re: Доказать что следующие формулы являются теоремами P.
16.01.2013, 14:12
Аксиомы равенства:
s(x)=x+1
Аксиомы теории Q:
Аксиомы теории P: Все аксиомы
где A(x) - любая формула со свободной переменной x. Формула называется .
Someone
Re: Доказать что следующие формулы являются теоремами P.
16.01.2013, 19:03
Арифметика Пеано?
А какие у Вас идеи насчёт доказательства этих формул? Ну, хотя бы первой. Применить индукцию пробовали?
ExploiT243
Re: Доказать что следующие формулы являются теоремами P.
16.01.2013, 21:24
Я решал под а) сначала индукция, потом введение получалось две ветки. 1)(левая) Введение импликации, введение дальше понятно. 2)(правая) Введение импликации, расширение, дальше не знаю что делать
ExploiT243
Re: Доказать что следующие формулы являются теоремами P.