1. ~P->~D Premise 2. ~D->~F Premise 3. ~P Premise 4. ~D 1,3 CE ( Conditional Elimination ) 5. ~F 2,4 CE, proof complete ——