31
Discussion
•
Old way to think about formulas and
models: finite satsfiability/ validity
FO
f
unsatisfiable
f
valid
Undecidable