sequent
satisfaction
Sections
ClassicalProps(jlc)
Doc
Def
a |= F == (F under a) = 3
In prior sections:
formula
satisfaction
sat
lemmas
full
assignment
