填空题 模态对当关系推理就是根据 1的对当关系进行的模态推理。