二难推理的简单构成式的公式为（）。