}3. eqF: {Formula=
}4.
s
L.(
(s) = 0)
sL.|= s 
(
a:Assignment. sL.a |
s)sL.((s) = 0) sL.|= s (a:Assignment. sL.a | s)| 1 | 2. eqS: {Sequent=} 3. eqF: {Formula= }4. sL.((s) = 0) sL.|= s (a:Assignment. sL.a | s) |
About:
 |  |  |  |  |  |  |