Словарь по логике

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

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


  1. правило вывода—ПРАВИЛО ВЫВОДА правило преобразования некрой формальной системы дедуктивное правило правилоразрешение регламентирующее допустимые способы переходов от некрой совокупности...Большая советская энциклопедия
  2. правило вывода—правило преобразования некоторой формальной системы дедуктивное правило правилоразрешение регламентирующее допустимые способы переходов от некоторой совокупности утвержде...Большая Советская энциклопедия II
  3. правило вывода—правило определяющее переход от посылок к следствиямболее точно правило устанавливающее определенного вида соответствиемежду некоторой совокупностью высказываний формул ...Большой энциклопедический словарь II
  4. правило вывода—ПРАВИЛО ВЫВОДА правило определяющее переход от посылок к следствиям более точно правило устанавливающее определенного вида соответствие между некоторой совокупностью выс...Большой энциклопедический словарь III
  5. правило вывода—ПРАВИЛО ВЫВОДА правило определяющее переход от посылок к следствиям более точно правило устанавливающее определенного вида соответствие между некоторой совокупностью вы...Большой Энциклопедический словарь V
  6. правило вывода—правило определяющее переход от посылок к следствиям более точно правило устанавливающее определ. соответствие между некрой совокупностью высказываний формул называемых ...Естествознание. Энциклопедический словарь
  7. правило вывода—mathrgle dinfrence...Политехнический русско-французский словарь
  8. правило вывода—rule of inference derivation rule production вчт....Русско-английский политехнический словарь
  9. правило вывода—лог. rule of inference...Русско-английский психологический словарь
  10. правило вывода—production rule...Русско-английский словарь по нефти и газу
  11. правило вывода—матем. regola di inferenza...Русско-итальянский политехнический словарь
  12. правило вывода—Ableitungsregel Inferenzregel Schluregel...Русско-немецкий политехнический словарь
  13. правило вывода—правило висновку правило виведення...Русско-украинский политехнический словарь
  14. правило вывода—правило определяющее переход от посылок к следствиям. П. в. указывает каким образом высказывания истинность которых известна могут быть видоизменены чтобы получить новые ...Словарь логики
  15. правило вывода—определяет переход от посылок к следствиям более точно устанавливает соответствие между некрой совокупностью высказываний формул наз. посылками и одним определ. высказыва...Советский философский словарь
  16. правило вывода—ПРАВИЛО ВЫВОДА правило определяющее переход от посылок к следствиям более точно правило устанавливающее определенного вида соответствие между некоторой совокупностью выс...Современный энциклопедический словарь
  17. правило вывода—ПРАВИЛО ВЫВОДА определяет переход от посылок к следствиям более точно устанавливает соответствие между некоторой совокупностью высказываний формулem наз.em посылками и о...Философская энциклопедия
  18. правило вывода—п р а в и л о п р е о б р а з о в а н и я разрешение переходить от утверждений такихто и такихто видов называемых посылками к утверждению такогото вида наз. заключением....Философская Энциклопедия (в 5 томах)
  19. правило вывода—ПРАВИЛО ВЫВОДА правило определяющее переход от посылок к следствиям более точно правило устанавливающее определенного вида соответствие между некоторой совокупностью вы...Энциклопедический словарь естествознания