6.
s
L.a |
s7.
sL.a | s 
a | S
|= S 
(a:Assignment. a | S)
sL.(
(s) = 0)sL.|= s |= S a:Assignment. sL.a | s a | SsL.a | s |= S (a:Assignment. a | S)| 1 | 5. a: Assignment 6. sL.a | s7. sL.a | s a | S |= S (a:Assignment. a | S) |
About:
 |  |  |  |  |
 |  |  |  |