аженням, складеним з кількох літер. Існують методи запису операторів, в яких це проявляється явно. Так наприклад, проф.Шольц пише "x" після "(Пx)". Характер оператора як простого вираження проявляється очевидним чином і в звичайній запису, коли пишуть "(x)" замість "(Пx)", або "Пx" замість "(Пx)". p> 9. Якщо вираз містить оператор, то його показник повинен обчислюватися інакше, ніж це показано вище, оскільки, якби ми зверталися з індексами операторів також, як з індексами функторів, то могло б статися так, що індекс оператора злився б з попереднім йому індексом, що, як уже згадувалося, неприпустимо. Розглянемо, наприклад, такий вираз:
F (Пx. x) .................................. (A)
s | s n
--- + -
n | s
-----
s
---. p> s
Якби ми утворювали його показник згідно з раніше зазначеними приписами, то отримали б наступні похідні:
1) s 2) 3)
---
n | s s
----- + - n --- n s
s | s n
---. p> s
Таким чином ми отримали б індекс всього пропозиції як показник, тоді як вираз А, очевидно, є синтаксичним нонсенсом. p> Нове правило отримання показника вираження вимагає з самого початку окремо трактувати ту частина характерною послідовності індексів, яка починається з крайньою правою вертикальної риси для того, щоб для тієї частини, яка тільки в початку має індекс з вертикальною рисою, виділити згідно старого правила останню похідну. При цьому індекс з рисою трактується також, як індекс без риси, тобто наприклад, замість
| s, так само як і замість
"s ставиться індекс "s",
+ - s
--- s
| s
s аналогічно і в інших випадках. p> Обчисливши останню похідну частини послідовності індексів, що починаються з останньої вертикальної риси, вставляємо її замість цієї частини у всю послідовність індексів. При цьому слід розрізняти два випадки. Або при обчисленні останньої похідної частини послідовності індексів, відокремленою останньої вертикальної рисою, індекс, що стоїть на її початку пропав (тобто при освіті n-ой похідною від (n-1)-ої він виявився разом з подальшими після нього індексами замінений своїм чисельником), чи ні. p> У другому випадку, коли цей індекс не пропадає, ми зупиняємося і вважаємо всю послідовність індексів, змінену внаслідок заміни частини послідовності індексів, відокремленої вертикальної рисою, її останньою похідної і цю змінену послідовність вважаємо останньої похідної всій характерною послідовності індексів, а тим самим і її показником. p> У першому випадку, коли пропадає останній індекс з вертикальною рисою, початківець відокремлену нею частина послідовності індексів, також і у всій послідовності індексів ця риса пропадає, а число всіх вертикальних рис послідовності зменшується на одну. У такому випадку ми продовжуємо просування згідно з цим же приписом так довго, поки не прийдемо до якогось індексом з рисою, який вже не скорочується або ж не пропадуть...
