I-правило - Большая Энциклопедия Нефти и Газа, статья, страница 2
Сказки - это страшные истории, бережно подготавливающие детей к чтению газет и просмотру теленовостей. Законы Мерфи (еще...)

I-правило

Cтраница 2


Z), производится с помощью исчисления предикатов и аксиом системы ( Z) с добавлением е-символа и е-фор-мулы, то применения е-символа и е-формулы в этом выводе могут быть заменены соответствующими применениями i-правила.  [16]

Другое обобщение этого результата подсказывается самой формулировкой нп-теоремы, которая недвусмысленным образом допускает включение в рассматриваемый формализм е-символа и е-формулы. Поэтому получается, что i-правило тоже может быть включено в наш результат, причем без ссылки на теорему об устранимости i - npa - вила из гл.  [17]

Приведенная здесь формулировка i-правила отличается от его формулировки, приведенной в гл. Равнозначность этих двух формулировок i-правила может быть установлена с использованием правила переименования связанных переменных.  [18]

С дедуктивной точки зрения этот формализм вполне удовлетворителен. Однако арифметизация его метаматематики оказывается довольно неудобной, потому что в соответствии с i-правилом свойство выражения iESl ( j) быть термом зависит от выводимости связанных с формулой 91 ( с) формул единственности3), так что определение понятия терм оказывается переплетенным с определением выводимости.  [19]

Последнему из этих требований удовлетворяет формализм i-правила и не удовлетворяет, как мы только что установили, формализм е-символа. С другой стороны, формализм е-символа дает возможность рекурсивно изобразить понятие терма, в то время как в формализме i-правила этому мешает переплетение понятия терма с условиями на выводимость.  [20]



Страницы:      1    2