如果有命题P和Q,不管P是否成立Q恒成立,则P是Q的什么条件