smc

Remember that a statement is logically equivalent to its contrapositive, which is formed by first negating the hypothesis and conclusion and then switching them. In this case, the contrapositive of "If P is true, then Q is false." is "If Q is true, then P is false." $\boxed{\text{“If Q is true then P is false."}}$ The fact that a statement's contrapositive is logically equivalent to it can easily be seen from a venn diagram arguement. From this venn diagram, clearly "If $p$, then $q$." is true. However, since $p$ is fully contained in $q$, the statement "If not $q$, then not $p$." is also true, and so a statement and its contrapositive are equivalent.