根据规范模态对当关系,由“允许非P”可以推出()。
出自:国家开放大学《法律逻辑学》