二难推理有四种基本形式逻辑公式形式 二难推理