prove是什么意思

中文翻译证明论证

网络释义

1)prove,证明论证2)demonstrate,论证，证明，证实3)Proof theory,证明理论4)proof theory,证明论5)interactive proofs and arguments,交互证明与论证6)Argument from Design,设计论证明

用法例句

Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.

一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型论语义,同时也为模型论语义的实现提供基础。

It is proved that a generalized form of model theoretic weak forcing satisfies some right inference rules of Gentzen style proof theory.

推广形式的模型论弱力迫关系适合Ｇｅｎｔｚｅｎ证明论的一些右规则，因而模型论弱力迫关系可以用证明论性质刻画。

prove是什么意思

网络释义

用法例句

热门行业英语

行业英语