Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 2 ] |
|
Автор | Сообщение | |
---|---|---|
famesyasd |
|
|
если Г|-A и Г|-B, то Г |- (A ∧ B) (в книге Г|-A Г|-B стоят над чертой, а под ней Г |- (A ∧ B) ) могу ли я применять эти правила в обратную сторону(идти от основания дроби к верху) и если да, то почему, как, например, при решении следующей задачи? Докажите, что (A → (B → C)) → ((A ∧ B) → C) выводима: Два раза применив лемму о дедукции, получим: (A → (B → C)), (A ∧ B) |- C), то, что теперь у нас есть (A ∧ B) значит, что у нас есть A и B (применил правило в обратную сторону), теперь применив два раза правило MP к A и (A → (B → C)), а затем к B и (B → C) получим C |
||
Вернуться к началу | ||
3D Homer |
|
|
famesyasd писал(а): могу ли я применять эти правила в обратную сторону(идти от основания дроби к верху) Это надо доказывать, но в данном случае это просто. Пусть выводима [math]A\land B[/math]. Есть аксиома [math]A\land B\to A[/math]. По MP получаем [math]A[/math], и аналогично [math]B[/math]. |
||
Вернуться к началу | ||
За это сообщение пользователю 3D Homer "Спасибо" сказали: famesyasd |
||
[ Сообщений: 2 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Используйте правила логического вывода | 3 |
125 |
08 окт 2019, 12:16 |
|
Доказательство правила обобщения и правила конкретизации | 5 |
681 |
15 апр 2019, 17:33 |
|
Построение вывода | 1 |
282 |
13 май 2017, 21:23 |
|
Предикаты и справедливость вывода | 4 |
536 |
20 июн 2015, 16:27 |
|
Построение вывода по системе Клини | 0 |
289 |
27 ноя 2018, 16:05 |
|
Проверить правильность следующего вывода | 0 |
274 |
08 апр 2014, 12:45 |
|
Определение вывода в исчислении предикатов у Игошина | 6 |
329 |
08 авг 2021, 01:46 |
|
Доказать существование вывода в аксиоматической теории L | 1 |
184 |
24 апр 2020, 11:20 |
|
Правила дифференцирования
в форуме Дифференциальное исчисление |
2 |
381 |
21 окт 2016, 19:44 |
|
Без правила Лопиталя
в форуме Пределы числовых последовательностей и функций, Исследования функций |
2 |
111 |
03 дек 2023, 23:37 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 30 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |