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

ПРАВИЛА ВИВОДУ — правила, за допомогою яких в процесі доведення дозволяється від одних правильно побудованих формул (ППФ) переходити до інших ППФ формальної системи (див. логістичний метод), що дають можливість із кількох ППФ, які називають засновками, вивести нову ППФ — висновок. П. в. називають ефективним (або конструктивним), якщо існує алгоритм, який дає можливість для кожної сукупності ППФ визначити, чи можуть ці ППФ бути засновками даного виводу, і, якщо можуть, то знайти ППФ, що є висновком. Modus ponens — ефективне П. в. Зазвичай П. в. відносять до логіки, що лежить в основі системи (див. вивід).