In Exercises 1–3, write the statement in symbolic form p: Phobos is a moon of Mars.
q: Callisto is a moon of Jupiter.
Rosalind is a moon of Uranus.
1. Phobos is not a moon of Mars or Callisto is a moon
of Jupiter, and Rosalind is not a moon of Uranus.
I
2. If Rosalind is a moon of Uranus then Callisto is a moon
of Jupiter, or Phobos is not a moon of Mars.
3. It is false that Rosalind is a moon of Uranus if and only if
Callisto is not a moon of Jupiter.