展开 逻辑推理中的真假推理