Translate the following arguments into symbolic form, using the letters in the order in which they are listed. Then use conditional proof and the eighteen rules of inference to derive the conclusion of each. Having done so, attempt to derive the conclusion without using conditional proof.
A doctor must disconnect a dying patient from a respirator if and only if the fact that patients are self-determining implies that the doctor must follow the patient's orders. If a dying patient refuses treatment, then the doctor must disconnect the patient from a respirator and the patient will die peacefully. Patients are self-determining. Therefore, if a dying patient refuses treatment, then the doctor must follow the patient's orders. (D, S, F, R, P)