Entonces "P" debería no ser falsa.