7. a': Assignment
8. a' extends a
(a |= y1
y2 a' |= y1y2 ) & (a |
y1y2 a' | y1y2)
a,a':Assignment. a' extends a (a |= y1 a' |= y1 ) & (a | y1 a' | y1)a,a':Assignment. a' extends a (a |= y2 a' |= y2 ) & (a | y2 a' | y2) a,a':Assignment.
a' extends a (a |= y1y2 a' |= y1y2 ) & (a | y1y2 a' | y1y2)| 1 | 6. a: Assignment 7. a': Assignment 8. a' extends a (a |= y1y2 a' |= y1y2 ) & (a | y1y2 a' | y1y2) |
About:
 |  |  |