--| home | research | txt | code | teach | specialfunctionswiki | timescalewiki | hyperspacewiki | links |--
Back to the class
Quiz 4
Consier the sentence $\phi$ given by $\forall x \exists y R(x,y),$ where $R$ is a binary relation.
1. Define a structure $M$ for which $M \vDash \phi$.
Solution: Let $M=([0,\infty)|R)$ and interpret $R(x,y)$ as $x=\sqrt{y}$ (note: the symbol "$\sqrt{y}$" typically refers to the "principal", i.e. positive, square root only). Then $M \vDash \phi$ (because my universe has only non-negative real numbers in it!).

2. Define a structure $M$ for which $M \not\vDash \phi$.
Solution: Define the structure $M=(\mathbb{R},R)$ and interpret $R(x,y)$ as $x=\sqrt{y}$. Then $M \not\vDash \phi$ because if $x=-1$ then there is no $y \in \mathbb{R}$ for which $-1=\sqrt{y}$.