PrintForm
Definitions
sequent
rank
Sections
ClassicalProps(jlc)
Doc
At:
not
list
exists
rank
gt
0
rank
0
1
1.
hyp:
Formula List
concl:Formula List.
f
nil.(
(f) > 0)
f
concl.(
(f) > 0)
( < nil,concl > ) = 0
By:
AbReduce 0
Generated subgoal:
1
concl:Formula List.
False
f
concl.(
(f) > 0)
0+
(concl) = 0
About:
concl:Formula List. 
False 
f
concl.(
(f) > 0) 0+(concl) = 0 concl:Formula List. fnil.((f) > 0) fconcl.((f) > 0) ( < nil,concl > ) = 0 concl:Formula List. False fconcl.((f) > 0) 0+(concl) = 0
