sequent
valid
Sections
ClassicalProps(jlc)
Doc
Def
a |
S ==
F
S.H.a |= F &
F
S.C.a |
F
In prior sections:
sequent
falsification
sequent
sat
lemmas
full
sequent
assignment
S == 
F
S.H.a |= F & FS.C.a | F