Следующая теорема 1.8.4 позволяет производить в высказываниях замену одних подформул на другие, логически им эквивалентные. - Большая Энциклопедия Нефти и Газа



Выдержка из книги Метакидес Г.N. Принципы логики и логического программирования


Следующая теорема 1.8.4 позволяет производить в высказываниях замену одних подформул на другие, логически им эквивалентные.

(cкачать страницу)

Смотреть книгу на libgen

Следующая теорема 1.8.4 позволяет производить в высказываниях замену одних подформул на другие,  логически им эквивалентные.