Смотреть больше слов в «Философской Энциклопедии»
правило преобразования некоторой формальной системы, дедуктивное правило, правило-разрешение, регламентирующее допустимые способы переходов от ... смотреть
ПРАВИЛО ВЫВОДА, правило преобразования нек-рой формальной системы, дедуктивное правило, правило-разрешение, регламентирующее допустимые способы перех... смотреть
ПРАВИЛО ВЫВОДА определяет переход от посылок к следствиям; более точно — устанавливает соответствие между некоторой совокупностью высказыван... смотреть
ПРАВИЛО ВЫВОДА — правило, определяющее переход от посылок к следствиям. П. в. указывает, каким образом высказывания, истинность которых известна, могут быть видоизменены, чтобы получить новые истинные высказывания. Напр., <b>правило</b> <b>отделения</b> устанавливает, что если истинны два высказывания, одно из которых имеет форму <i>импликации</i>,<i> </i>а другое является основанием (<i>антецедентом</i>)<i> </i>этой импликации, то и высказывание, являющееся следствием (<i>консеквентом</i>)<i> </i>импликации, истинно. Это правило, называемое также правилом <i>модус поненс</i>,<i> </i>позволяет "отделить" следствие истинной импликации, при условии, что ее основание истинно. Скажем, от посылок "Если цирконий — металл, он электропроводен" и "Цирконий — металл" можно перейти к заключению "Цирконий электропроводен". <br><br><br>... смотреть
правило, определяющее переход от посылок к следствиям. П. в. указывает, каким образом высказывания, истинность которых известна, могут быть видоизмене... смотреть
ПРАВИЛО ВЫВОДА, правило, определяющее переход от посылок к следствиям; более точно - правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний (формул), называемым посылками, и одним определенным высказыванием (формулой), называемым логическим следствием из этих посылок.<br><br><br>... смотреть
ПРАВИЛО ВЫВОДА - правило, определяющее переход от посылок к следствиям; более точно - правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний (формул), называемым посылками, и одним определенным высказыванием (формулой), называемым логическим следствием из этих посылок.<br>... смотреть
ПРАВИЛО ВЫВОДА , правило, определяющее переход от посылок к следствиям; более точно - правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний (формул), называемым посылками, и одним определенным высказыванием (формулой), называемым логическим следствием из этих посылок.... смотреть
ПРАВИЛО ВЫВОДА, правило, определяющее переход от посылок к следствиям; более точно - правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний (формул), называемым посылками, и одним определенным высказыванием (формулой), называемым логическим следствием из этих посылок.... смотреть
- правило, определяющее переход от посылок к следствиям;более точно - правило, устанавливающее определенного вида соответствиемежду некоторой совокупностью высказываний (формул), называемым посылками,и одним определенным высказыванием (формулой), называемым логическимследствием из этих посылок.... смотреть
правило, определяющее переход от посылок к следствиям; более точно - правило, устанавливающее определ. соответствие между нек-рой совокупностью высказы... смотреть
определяет переход от посылок к следствиям; более точно устанавливает соответствие между нек-рой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.... смотреть
матем. regola di inferenza
rule of inference, derivation rule, production вчт.
Ableitungsregel, Inferenzregel, Schlußregel
mathrègle d’inférence
лог. rule of inference
пра́вило ви́сновку, пра́вило ви́ведення
production rule