All pathologists are specialists and all internists are generalists. Therefore, since it is not the case that some specialists are generalists, it is not the case that some pathologists are internists. (P, S, I, G )

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.