правило вывода

Это можно выразить тремя правилами вывода, называемыми структурными правилами.

These facts can be expressed by three inferential rules, called structural rules.

Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

Каждый шаг вниз по дереву совершается по одному из 14 правил (ранее читавшихся снизу вверх), которые мы теперь рассматриваем как правила вывода с одной или двумя посылками.

And each step downward is by one of 14 rules (previously read upward), which we can now regard as one- or two-premise rules of inference.

Клини, С.К. / Математическая логикаKleene, Stephen Cole / Mathematical Logic

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

Математическая логика

Клини, С.К.

© Перевод на русский язык «Мир», 1973

Правило V-введения отличается от прочих правил вспомогательного вывода тем, что допущения в данном и результирующем выводах одни и те же.

The subsidiary deduction rule of V-introduction is unlike our other subsidiary deduction rules in having the same assumption formulas in the given or subsidiary deduction and the resulting deduction.

Клини, С.К. / Математическая логикаKleene, Stephen Cole / Mathematical Logic

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

Математическая логика

Клини, С.К.

© Перевод на русский язык «Мир», 1973

Мы покажем, что всегда, когда вывод по кванторному правилу непосредственно (если не считать выводов по структурным правилам) следует за выводом по алгебраическому правилу, эти два вывода можно переставить.

We show that whenever a quantification inference is followed immediately (except for structural inferences) by an algebraic inference, we can interchange the two.

Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969