Виводу правила

правила, за допомогою яких в процесі доведення дозволяється від одних правильно побудованих формул (ППФ) переходити до ін. ППФ формальної системи, що дають можливість із кількох ППФ (засновків) вивести нову ППФ – висновок