Origin
Sections
ClassicalProps(jlc)
Doc
full_assignment
Nuprl Section: full_assignment
Selected Objects
def
full_formula_assignment
Full(F) == {a:Assignment| a |= F
a |
F }
THM
full_formula_assignment_properties
F:Formula, a:Full(F). a |= F
a |
F
a |
F }
F:Formula, a:Full(F). a |= F a | F a | F }F:Formula, a:Full(F). a |= F a | F