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