Cтраница 1
Примитивный вывод - это вывод, в котором любая резольвента является примитивной. [1]
Модифицированный примитивный вывод - это вывод, в котором любое применение резолюции является модифицированной примитивной резолюцией. [2]
Легко показать, что при наличии идеализированной схемы регулирования нахождение условий устойчивости приводит к весьма примитивным выводам и положениям, достаточно ясным и без всякого расчета из общих физических представлений о процессе регулирования. [3]
Читатель может убедиться, что ( 1) - ( 12) является модифицированным примитивным выводом. [4]
Число шагов в 91 конечно; каждый шаг является 3вы - водом, использующим лишь конечное число предыдущих - выводов. Отсюда следует, что количество g - выводов в SR конечно. Число элементов С0, встречающихся в примитивных выводах из 91 конечно, откуда следует, что С0 конечно. [5]