304
правки
Изменения
→Вывод утверждений из аксиом
# <tex>(a \& b \rightarrow a \rightarrow b \& a) \rightarrow (a \& b \rightarrow b \& a)</tex> {{---}} modus ponens 6, 14
# <tex>a \& b \rightarrow b \& a</tex> {{---}} modus ponens 13, 15
Чтобы получить из доказательства с предположениями доказательство без предположений, нужно воспользоваться доказательством теоремы о дедукции. Для начала надо написать "план доказательства" из строчек вида <tex>\alpha \rightarrow \gamma_i</tex>, где <tex>\alpha</tex> {{---}} предположение, а <tex>\gamma_i</tex> {{---}} промежуточное утверждение из доказательства, и доказывать каждое утверждение из плана доказательства так, как это расписано в доказательстве теоремы о дедукции.
