2. v: Formula List
0+
(v) = 0 
(u) > 0 0+(u)+(v) = 0
f
v.((f) > 0) 0+(v) = 0((u) > 0 
fv.((f) > 0))((u) > 0 fv.((f) > 0)) 
(u) > 0 & fv.((f) > 0)(u) > 0fv.((f) > 0)(v) = 0 0+(u)+(v) = 0| 1 | 1. u: Formula 2. v: Formula List 0+(v) = 0 (u) > 0 0+(u)+(v) = 0 |
About:
 |  |  |  |  |
 |  |  |  |