Задачники на выводимость

[Sinoid]

Здравствуйте! А существуют ли задачники с задачами как в перемещенных темах Математическая логика и Доказать выводимость формулы?

[Brukvalub]

стр. 70, п. 28, и вокруг.

[knizhnik]

Brukvalub, замечу, что выводимость и вывод - это нечто разное. Пусть например теория полна, и удалось доказать невыводимость $\neg \varphi$. Тогда в силу полноты доказана выводимость $\varphi$, хотя мы и не построили явно вывод этой формулы.

[arseniiv]

Ну так там вроде и про прямое построение вывода есть задачи, и более интересные.

[Sinoid]

Brukvalub в сообщении #1187112 писал(а):

стр. 70, п. 28, и вокруг.

Спасибо. Да, действительно, здоровский задачник.