法律推理有形式推理和实质推理之分。其中，形式推理是分析推理，即运用形式逻辑进行推理。下列选项中，属于形式推理的是（ ）。