It is not the case that some internists are not physicians. Furthermore, it is not the case that some physicians are not doctors of medicine. Therefore, all internists are doctors of medicine. (I, P, D)

Translate the following arguments into symbolic form. Then use the quantifier negation rule and the eighteen rules of inference to derive the conclusion of each. Do not use either conditional proof or indirect proof.