P\vdash\lnot Q\Rightarrow\lnot(P\Rightarrow Q)