Origin
Sections
ClassicalProps(jlc)
Doc
formula_validity
Nuprl Section: formula_validity
Selected Objects
def
formula_valid
|= F ==
a:Full(F). a |= F
a:Full(F). a |= F a:Full(F). a |= F