P is a sufficient condition for Q, that is, if P is established, then Q is established. This is a true proposition, and its negative proposition is a true proposition, that is, if it is not Q, then it is not P, and it is a sufficient condition for it to be non-P.