prenex
英
美
网络 前束
双语例句
- Theorem 1 in this paper gives an algorithm which transforms a formula of ME into a prenex standard form in ME, and therefore shows that ME is equivalent to ME under the relationship of inference.
本文定理1指出，在互推关系下，任何ME~中的公式均可化为ME中的标准前束范式，因此在互推意义下两系统等价。