f
nil.(
(f) > 0) 
0+(nil) = 04. v: Formula List
5.
fv.((f) > 0) 0+(v) = 0 f(u.v).((f) > 0) 0+(u.v) = 0Falsefconcl.((f) > 0) 0+(concl) = 0| 1 | fnil.((f) > 0) 0+(nil) = 0 |
| 2 | 3. u: Formula 4. v: Formula List 5. fv.((f) > 0) 0+(v) = 0 f(u.v).((f) > 0) 0+(u.v) = 0 |
About:
 |  |  |  |  |
 |  |  |  |  |