2017-11-01
666
а) Всякая аксиома является доказуемой формулой.
б)Формула, полученная из доказуемой формулы путем применения подстановки вместо переменной х произвольной формулы В, есть доказуемая формула.
в) Формула В, полученная из доказуемых формул А и 
путем применения ПЗ, есть доказуемая формула.
г) Никакая другая формула исчисления высказываний не считается доказуемой.
Процесс получения доказуемых формул будем называть доказательством (выводом) формул. Это процесс последовательного перехода от одной доказуемой формулы к другой с помощью аксиом, правила подстановки и правила заключения на каждом шаге (в определенном смысле это аналог равносильным преобразованиям в алгебре логики).
2.12 Производные правила вывода
Производные правила вывода, как и рассмотренные правила подстановки и заключения, позволяют получать новые доказуемые формулы. Они получаются с помощью правил подстановки и заключения, а поэтому являются производными от них.
