PrintForm
Definitions
sequent
rank
Sections
ClassicalProps(jlc)
Doc
At:
not
list
exists
rank
gt
0
rank
0
1
1
1.
hyp:
Formula List
concl:Formula List.
False
f
concl.(
(f) > 0)
0+
(concl) = 0
By:
UnivCD
Generated subgoal:
1
2.
concl:
Formula List
3.
False
4.
f
concl.(
(f) > 0)
0+
(concl) = 0
About:
False
f
concl.(
(f) > 0)
0+(concl) = 0 
concl:Formula List. False 
fconcl.((f) > 0) 0+(concl) = 0Falsefconcl.((f) > 0) 0+(concl) = 0
