LARA

This is an old revision of the document!

Exercises 05

  • Homework analysis
  • Semantic proof of drinker's paradox
  • Monotonicity of semantic consequence
  • Sets of sentences with only finite and with only infinite models
  • Herbrand universe
  • Resolution proofs