Furthermore, it presents a creditability problem about theorem proof in propositional logic.

也引申出命题逻辑定理证明的一个可信性问题。

youdao

Furthermore, it presents a creditability problem about theorem proof in propositional logic.

也引申出命题逻辑定理证明的一个可信性问题。

youdao