第三节 模态推理