1. Build a model with exactly three individuals where the following are all true:
    • \[\exists x\,\con{student}x\]
    • \[\exists x\,\con{linguist}x\]
    • \[\neg\forall x\,\con{student}x\]
    • \[\exists x(\con{student}x\wedge \con{linguist}x)\]
    • \[\exists x\exists y\, \con{admire}(x,y)\]
  2. Build a model where the following set is inconsistent, and explain why:
    • \[\forall x(\con{student}x\rightarrow \con{read}(x,b))\]
    • \[\exists x\,\con{student}x\]
    • \[\forall x\,\neg \con{read}(x,b)\]
  3. Build a model where these are all true:
    • Every student admires some linguist.
    • No linguist admires Anna.
    • Anna admires Ben.

Updated: