32
Discussion
•
New way to think about formulas and
models: probability
FO
f
unsatisfiable
f
valid
PSPACE
m(f
)=0
m(f
)=1