Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Вспомогательные правила вывода ИВ
СообщениеДобавлено: 15 окт 2016, 00:18 
Не в сети
Продвинутый
Зарегистрирован:
03 мар 2016, 21:41
Сообщений: 89
Cпасибо сказано: 22
Спасибо получено:
1 раз в 1 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Из аксиом в книжке как я понял были получены вспомогательные правила вывода помимо основного MP, например:
если Г|-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

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Вспомогательные правила вывода ИВ
СообщениеДобавлено: 15 окт 2016, 00:46 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
famesyasd писал(а):
могу ли я применять эти правила в обратную сторону(идти от основания дроби к верху)

Это надо доказывать, но в данном случае это просто. Пусть выводима [math]A\land B[/math]. Есть аксиома [math]A\land B\to A[/math]. По MP получаем [math]A[/math], и аналогично [math]B[/math].

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю 3D Homer "Спасибо" сказали:
famesyasd
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 2 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Используйте правила логического вывода

в форуме Дискретная математика, Теория множеств и Логика

tanyhaftv

3

125

08 окт 2019, 12:16

Доказательство правила обобщения и правила конкретизации

в форуме Дискретная математика, Теория множеств и Логика

statzky

5

681

15 апр 2019, 17:33

Построение вывода

в форуме Дискретная математика, Теория множеств и Логика

panda27

1

282

13 май 2017, 21:23

Предикаты и справедливость вывода

в форуме Дискретная математика, Теория множеств и Логика

manchester_alan

4

536

20 июн 2015, 16:27

Построение вывода по системе Клини

в форуме Дискретная математика, Теория множеств и Логика

Vansoul

0

289

27 ноя 2018, 16:05

Проверить правильность следующего вывода

в форуме Дискретная математика, Теория множеств и Логика

javavirys

0

274

08 апр 2014, 12:45

Определение вывода в исчислении предикатов у Игошина

в форуме Дискретная математика, Теория множеств и Логика

Ellipsoid

6

329

08 авг 2021, 01:46

Доказать существование вывода в аксиоматической теории L

в форуме Дискретная математика, Теория множеств и Логика

Chester

1

184

24 апр 2020, 11:20

Правила дифференцирования

в форуме Дифференциальное исчисление

AbirkulovSherali

2

381

21 окт 2016, 19:44

Без правила Лопиталя

в форуме Пределы числовых последовательностей и функций, Исследования функций

kovalmary

2

111

03 дек 2023, 23:37


Часовой пояс: UTC + 3 часа [ Летнее время ]



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 30


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

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved