- 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)\]
- 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)\]
- Build a model where these are all true:
- Every student admires some linguist.
- No linguist admires Anna.
- Anna admires Ben.