根据规范模态判断之间的对当关系，从“必须P”可以推出（ ）、（ ）、（ ）。