4.
f
v.(
(f) > 0) 
fconcl.((f) > 0) ( < v,concl > ) = 0
f(u.v).((f) > 0) fconcl.((f) > 0) ( < u.v,concl > ) = 0
concl:Formula List. fv.((f) > 0) fconcl.((f) > 0) ( < v,concl > ) = 0 f(u.v).((f) > 0) fconcl.((f) > 0) ( < u.v,concl > ) = 0| 1 | 3. concl: Formula List 4. fv.((f) > 0) fconcl.((f) > 0) ( < v,concl > ) = 0 f(u.v).((f) > 0) fconcl.((f) > 0) ( < u.v,concl > ) = 0 |
About:
 |  |  |  |  |
 |  |  |  |