|
for FireFox,Safari
|
7.9. Транзитивность отношения проекции состояний. ЛеммаОтношение проекции состояний транзитивно, то есть, если: s2 ⊵ s1 и s3 ⊵ s2 то s3 ⊵ s1
ДоказательствоБазис у состояния s3 не уже, чем у состояния s1 в силу транзитивности отношения базисов. Равенство значений общих переменных (принадлежащих базису |s1|) обеспечивается в силу транзитивности отношения равенства значений.█
Назад Вперёд |
ru/en |