> If P is true, its negation is false.

Where's your proof?