必然非P与可能P是()关系