For this problem, the domain is the set of all solar system objects: P(x) means z is a Planet M(x) means is a Moon O(x, y) means z orbits y Formulate the following statements using predicate logic. You may use z ‡ y to indicate that the x and y are different. 1. All planets orbit the sun and all moons orbit a planet. 2. Some planets have no moon. 3. Some planets have two or more moons. 4. Some objects orbit the sun that are not planets 5. Everything that orbits the sun is a planet. 6. Pluto is a planet!

Fig: 1

Fig: 2

Fig: 3

Fig: 4

Fig: 5

Fig: 6

Fig: 7

Fig: 8

Fig: 9

Fig: 10

Fig: 11