formula
validity
Sections
ClassicalProps(jlc)
Doc
Def
Var == Atom
In prior sections:
var
jlc
assignment
formula