Производное правило

вывода для данного исчисления - вывода правило, заключение к-рого выводимо из его посылок в рассматриваемом исчислении. Напр., в высказываний исчислении правило вывода [img: http://localhost:8080/file/041753-198.jpg] является П. п., поскольку в этом исчислении имеет место выводимость из посылок: [img: http://localhost:8080/file/041753-199.jpg] Всякое П. п. является допустимым правилом, но не всякое допустимое правило является П. п. Напр., подстановки правило в исчислении высказываний является допустимым правилом, но не производным.