Either some general practitioners are pediatricians or some surgeons are endocrinologists. But it is not the case that there are any endocrinologists. Therefore, there are some pediatricians. (G, P, S, E )

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.