8.6. Лемма

Отношение И между состояниями в общем случае не является «транзитивным».

Например, пусть:

s1 = (x = 1, y = 1)

s2 = (y = 1, z = 1)

s3 = (x = 2, z = 1)

Тогда истинно:

s1 И s2

s2 И s3

Но неверно

s1 И s3

█

Назад Вперёд