第六节 模态推理