problem set $11$

Note: if your domain contains more than $3$ objects, Carnap may take a minute or two for checking if your solution is right. There are counterexamples with $2$ and $3$ objects in the domain.$)$

Show that two readings of "all and only moons orbit two planets" are not equivalent. Your interpretation should have at least two moons and at least two planets.

PS$11\mathrm{.}51$ pts

$$x$($M$($x$)$y$$z$(((($y$=$z $$ P$($y$))$ P$($z$))$ O$($x$,$y$))$ O$($x$,$z$))),$y$$z$((($y$=$z $$ P$($y$))$ P$($z$))$x$($M$($x$)($O$($x$,$y$)$ O$($x$,$z$))))$