Statement:
∀n ∈ Z, [(P(n) ∧¬(n=2)) ⇒ O(n)]

where
Z is a set of natural numbers
P(n) is the predicate "n is a prime number"
O(n) is the predicate "n is an odd number"

I got this, but I don't think it sounds right...

for all n that is in the set of natural numbers, n is a prime number and not the prime number 2 implies n is an odd number

What does this mean?? Sorry for the mega newb question, I'm new to this.