Necessarily equivalent propositions C and D, if treated as distinct, lead via negation to the conclu...