Cтраница 4
Для каждого терма Ze без свободных переменных естественным образом определяется натуральное число - его значение. Формулу вида ( s) ( t) без свободных переменных назовем истинной или ложной в зависимости от того, равны ли значения левой и правой частей этой формулы или нет. Каждая аксиома системы Ze имеет один из двух видов: a) ( s) ( t) - истинная формула без свободных переменных или Ь) - 1 ( ( 5) - ( 0) гДе ( 5) ( 0 - ложная формула без свободных переменных. [46]
Для каждого терма Ent мы имеем 21 1 состояний, отличающихся ориентацией орбитального момента, каждое из которых, в свою очередь, распадается на два состояния, отличающихся спином. [47]
Кроме значения терму присваивается признак перемести-мости и характеристика длины. [48]
К одному терму, аргументу или операнду могут относиться несколько унарных операций. [49]
К одному терму могут относиться несколько унарных операций. При этом если две ( или более) унарные операции появляются вместе, действуя на один и тот же терм, то эти операции применяются к терму последовательно слева направо. [50]
Принадлежащие одному терму состояния, отличающиеся величиной полного момента /, образуют мультиплет, содержащий 2min ( L) 5) 4 - 1 состояний. [51]
При любых терме т и формуле ее символы ог и v ct, обозначают результат подстановки v в т и а соответственно. [52]