(
(u) > 0 
f
v.((f) > 0)) 
(u) > 0 & fv.((f) > 0)
0+(u)+(v) = 0fv.((f) > 0) 
0+(v) = 0((u) > 0 fv.((f) > 0)) 0+(u)+(v) = 0 Dec(Q) ((P Q) P & Q)
[(u) > 0;fv.((f) > 0)]| 1 | 7. ((u) > 0 fv.((f) > 0)) (u) > 0 & fv.((f) > 0) 0+(u)+(v) = 0 |
About:
 |  |  |  |  |  |  |  |