1. Большой энциклопедический словарь

ПРАВИЛО ВЫВОДА

ПРАВИЛО ВЫВОДА — правило, определяющее переход от посылок к следствиям; более точно — правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний (формул) — называемым посылками, и одним определенным высказыванием (формулой) — называемым логическим следствием из этих посылок.

Источник: Большой энциклопедический словарь на Gufo.me

Значения в других словарях

  1. Правило вывода — Правило преобразования некоторой формальной системы, дедуктивное правило, правило-разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Большая советская энциклопедия