Constructing interpretations There are two different ways of symbolizing "All asteroids orbit a celestial body that every planet orbits". Show that they are not equivalent. PS11.4 1 pts Vx(A(x) 3y( Vz(P(z) 0(z,y)) A O(x,y))), 3y( Vz(P(z) (z,y)) ^ Vx(A(x) 0(x,y))) Domain:0 A(-): 0(--): P(-): Submit Check (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. PS11.5 1 pts Vx(M(x) - 3y3z((((-y-z A P(y)) A P(z)) 1 0(x,y)) A 0(x,z))), 3y3z(((-y=z A P(y)) A P(z)) A Vx(M(x) = (O(x,y) 10(x,z)))) Domain:0 M(-): 0( __): P(-): Submit Check Constructing interpretations There are two different ways of symbolizing "All asteroids orbit a celestial body that every planet orbits". Show that they are not equivalent. PS11.4 1 pts Vx(A(x) 3y( Vz(P(z) 0(z,y)) A O(x,y))), 3y( Vz(P(z) (z,y)) ^ Vx(A(x) 0(x,y))) Domain:0 A(-): 0(--): P(-): Submit Check (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. PS11.5 1 pts Vx(M(x) - 3y3z((((-y-z A P(y)) A P(z)) 1 0(x,y)) A 0(x,z))), 3y3z(((-y=z A P(y)) A P(z)) A Vx(M(x) = (O(x,y) 10(x,z)))) Domain:0 M(-): 0( __): P(-): Submit Check