formula
validity
Sections
ClassicalProps(jlc)
Doc
Def
Full(F) == {a:Assignment| a |= F
a |
F }
In prior sections:
full
assignment
a |
F }