展开 充分条件的推理结构