Вопросы

Пишите сюда вопросы, которые вы хотите задать на консультации.

1. Давайте спросим нормальное определение подформулы (в самом начале). Оно кривое какое-то. И непонятно доказательство теоремы 1 (параграф, глава?).
2. Доказательство операций с Bint()
3. В параграфе 3 Главы 1 нет доказательств непротиворечивости, полноты и разрешимости исчисления высказываний, только леммы.
4. Из 2 вопросы критерии логичности следования
5. Почему в доказательстве теореме о дедукции мы используем аксиомы, хотя в определении выводимости формул, аксиомы использовать нельзя. (мы там вроде даже юзаем замену, но нам же этого нельзя делать)
6. Как доказать (понять) базу индукции в теореме о дедукции (где q -> q = p -> q )
7. Верно ли утверждение, обратное Теореме дедукции?
8. Вопрос на засыпку. В доказательстве Теоремы дедукции мы пользуемся тем же приёмом: вместо доказательства импликации предполагаем выполнение условия Г { p } |– q и приходим (да ещё с индукцией (!), т.е. многократно используя посылку) Г |– p  q. Разве это не порочный круг?
9. Доказать теорему о непротиворечивости и разрешимости тоже
10. Доказательство теоремы о полноте. Почему, если p выводится из ничего, то она формальная теорема?
11. Разница между [не]противоречивостью и [не]выполнимостью