Следующая теорема 1.8.4 позволяет производить в высказываниях замену одних подформул на другие, логически им эквивалентные. - Большая Энциклопедия Нефти и Газа
Большая Энциклопедия Нефти и Газа
Главная
Карта сайта
Поиск +
Поиск по рисункам
Помощь
Выдержка из книги Метакидес Г.N. Принципы логики и логического программирования
Следующая теорема 1.8.4 позволяет производить в высказываниях замену одних
подформул
на другие, логически им эквивалентные.
(cкачать страницу)
Смотреть книгу на
libgen
Поделиться ссылкой: