PrintForm
Definitions
decidability
Sections
ClassicalProps(jlc)
Doc
At:
zero
rank
valid
or
falsifiable
L:Sequent List.
s
L.(
(s) = 0)
s
L.|= s
(
a:Assignment.
s
L.a |
s)
By:
UnivCD
Generated subgoal:
1
1.
L:
Sequent List
2.
s
L.(
(s) = 0)
s
L.|= s
(
a:Assignment.
s
L.a |
s)
About:
s
L.(
(s) = 0)
sL.|= s 
(
a:Assignment. sL.a |
s) L:Sequent List. sL.((s) = 0) 
sL.|= s (a:Assignment. sL.a | s)sL.((s) = 0) sL.|= s (a:Assignment. sL.a | s)
