formula validity Sections ClassicalProps(jlc) Doc

Def Var == Atom

In prior sections: var jlc assignment formula