tribecrucial tribecrucial 06-10-2022 History contestada Use the rules of inference and replacement to construct proof. P → ~ Q ∴ ~ P