If all the physicians are either hematologists or neurologists, then there are no cardiologists. But Dr. Frank is a cardiologist. Therefore, some physicians are not neurologists. (P, H, N, C )

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.