Question

If p represents “a number is divisible by 2,” q represents “a number is odd,” and r represents “a number is even,” what does this statement imply?
( ~ p -> q) v r

A. If a number is divisible by 2, then it's even. Other wise it's odd.
B. If a number is divisible by 2, then it isn't even. Other wise it's odd.
C. If a number isn't divisible by 2, then it's odd. Other wise it's even.
D. If a number isn't divisible by 2, then it isn't odd. Other wise it's odd.

Answer 1

The answer 
the general rule of implication
(p -> q) v r,  this means, "if p, then q" or r, the sign "v" means "or"

so we have:
p: "p represents “a number is divisible by 2,”
q: "q represents “a number is odd,”
r:  "a number is even,” 

therefore, (p -> q) v r does mean:
If a number isn't divisible by 2, then it's odd. Other wise it's even.
the choice is C.