В ИВ можно выделить некоторый класс формул, которые мы будем называть выводимыми в ИВ. Правила, позволяющие из имеющихся выводимых формул получать новые, мы будем называть ПРАВИЛАМИ ВЫВОДА, а исходные выводимые формулы – аксиомами.
Правила вывода: 1) ПОДСТАНОВКИ: если а - выводимая формула, то S[b/A](a) - также выводимая формула, каковы бы ни были переменное высказывание А и формула b: a/S[b/A](a). 2) ЗАКЛЮЧЕНИЯ: если а и а->b -выводимые формулы ИВ, то b - также выводимая формула: a,a->b/b.
