Оглавление секции
-
определение подстановки, эквивалентных формул
предложение о доказуемых секвенциях и подстановке
три леммы об эквивалентности
теорема о замене
определение подстановки, эквивалентных формул
предложение о доказуемых секвенциях и подстановке
три леммы об эквивалентности
теорема о замене