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