Главная - Энциклопедический словарь - буква П - Правило Вывода
правило, определяющее переход от посылок к следствиям;более точно - правило, устанавливающее определенного вида соответствиемежду некоторой совокупностью высказываний (формул), называемым посылками,и одним определенным высказыванием (формулой), называемым логическимследствием из этих посылок.
Поделитесь с друзьями:
Вы можете поставить ссылку на это слово:
будет выглядеть так: Правило Вывода
будет выглядеть так: Что такое Правило Вывода
|
|