• 正體: 演繹推理[電子計算機]