I'm just speaking in terms of formal logic; another premise would be required to define what P is and from that might be inferred that ~P was the case, not merely from that something is the case now....