Метод Дедуктивного Вывода ..введение посылки

[Akin]

Доброго времени Суток!
В моём конспекте лекций указано,что при использовании метода дедуктивного вывода можно пользоваться : теоремой о дедукции, законами мат.логи , 13 аксиомами и и 13 правилами ( правила введения и удаления логических связок, modus pones , modus tollens , введения и удаления противоречия , введения и удаления отрицания и ВНИМАНИЕ введения посылки).
Вопрос можно ли пользоваться правилом введения посылки при использовании метода дедуктивного вывода? Если можно, то не могли бы вы привести примеры?

[gefest_md]

Я не знаю точно, что имеется в виду под правилом введения посылки. Может быть, что имеется в виду то, что для доказательства, например, предложения $A\to(B\to C),\ B\vdash A\to C$ мы можем "ввести" ещё одно допущение $A$.

[Akin]

вот что имеется в виду под правилом введения посылки

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Тема перемещена в Карантин по следующим причинам:

Akin
Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".


Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.