Научный форум dxdy
Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Список форумов
»
Математика
»
Помогите решить / разобраться (М)
»
Чулан (М)
Мат. логика, теорема Дедукции, M.P.
Пред. тема
|
След. тема
vobla
Мат. логика, теорема Дедукции, M.P.
21.06.2012, 20:46
Последний раз редактировалось vobla 22.06.2012, 14:42, всего редактировалось 2 раз(а).
Помогите, пожалуйста, решить:
Начал делать:
1.
- гипотеза
2.
- гипотеза
3.
- аксиома
4.
- по MP из 2 и 3
Дальше додумать не могу...
AKM
Posted automatically
22.06.2012, 14:52
i
Тема перемещена из форума
«Карантин»
в форум
«Помогите решить / разобраться (М)»
Причина переноса: не указана.
Maslov
Re: Мат. логика, теорема Дедукции, M.P.
22.06.2012, 16:13
Напишите, пожалуйста, последний шаг доказательства (как по теореме о дедукции можно получить нужную Вам выводимость).
vobla в
сообщении #587708
писал(а):
2.
- гипотеза
А из этой гипотезы какие выводы можно сделать?
vobla в
сообщении #587708
писал(а):
3.
- аксиома
Уверены?
Страница
1
из
1
[ Сообщений: 3 ]
Список форумов
»
Математика
»
Помогите решить / разобраться (М)
»
Чулан (М)