Just as I thought I was out...they
pull me back in.
Logically, there's no difference between the sentences
If an object has zero acceleration, it must be at rest.
and
If an object has zero acceleration, it is at rest.
They both mean the same thing, "something implies something". Unfortunately it's not clear what that something is. Is it
If v'=0 then v=0.
or
If v'(t)=0 then v(t)=0.
where t has some specific value?
Let's just say that it's the former, to keep things as simple as possible. The sentence "if v'=0 then v=0" doesn't have a truth value. I'll use a simpler example to explain. Consider the sentence x
2=1. It doesn't have a truth value, but it can be given one by an assignment of a value to the variable x. If we specify that x represents the number -1, then that truth value is TRUE. If we specify that x represents the number 39, then that truth value is FALSE.
When we write something like x
2=1 without having previously assigned a value to x, the intention is usually that the sentence should be interpreted as a part of a slightly longer sentence. That sentence is ##\forall x~~ x^2=1##. This sentence has a truth value only if it's clear from the context what the scope of the "for all" is.
Now let's return to "if v'=0 then v=0". The two obvious ways to assign a truth value to this sentence is a) to completely specify what v is, and b) to add a "for all" to the start of the sentence, and make it completely clear what the scope of that "for all" is. Regardless of which of these options we choose, we run into additional complications. If we choose a), then we must specify a coordinate system, and the truth value of the implication will depend on that choice. If we choose b), then we must specify the scope of the "for all", and the truth value of the implication will depend on that choice.
All these attempts to prove that D is the only right answer are deeply flawed because they ignore all of these issues. There is no way to argue logically that D is the right answer, or that C is the right answer.