Мат логика

[Koperfild]

Из мендельсона стр.72
Не понимаю самый последний вывод леммы. Как используется эта тавтолгия для доказательства эквивалентности
http://img14.**invalid link**/img14/6040/ha9k.jpg (изображение 640х480 но форум говорит более 800 в ширину, поэтому ссылкой)

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

[mihailm]

Мендельсон не у всех идет, я например не смог (вообще странный у него стиль по моему), хотя некоторые хвалят.
Изучал по лекциям (Успенский ВА) и Колмогорову Драгалину. Очень легко читались книги Клини кстати.

[iifat]

Тавтология, как понимаю, используется для сборки разрозненных фактов в конъюнкцию. Нам же нужна конъюнкция $A\wedge B$, а доказано перед этим $A$ и $B$

[arseniiv]

(Техническое.)

Koperfild в сообщении #791017 писал(а):

(изображение 640х480 но форум говорит более 800 в ширину, поэтому ссылкой)

А вот и нет, 1024×570.

[Xaositect]

$A\equiv B$ это $(A\supset B) \& (B\supset A)$. Мы доказали $\forall x_i A(x_i)\supset \forall x_j A(x_j)$ и наоборот, так что теперь для того, чтобы доказать эквивалентность, нужно применить как раз указанную тавтологию.