Use the rules of inference and replacement to construct proof.

P → ~ Q

∴ ~ P