根据规范模态对当关系，由“允许非P”可以推出（）。