Thm* F:Formula, a:Full(F). a |= F a | F full_formula_assignment_properties
In prior sections: formula falsification sat lemmas
F:Formula, a:Full(F). a |= F 
a |
F
full_formula_assignment_properties
F == (F under a) = 3
F:Formula, a:Full(F). a |= F a | F
full_formula_assignment_properties