In the refutation tree of predicate calculus, the proved conjunctive formula.
在谓词演算的反驳树中, 被证明的合式公式。
英文例句大全为您提供refutation tree英文例句大全,refutation tree英文造句,关于refutation tree的英语句子,单词refutation tree怎么造句,refutation tree英文例句大全有哪些,哪些英语句子是关于refutation tree,英语单词refutation tree的句子,单词refutation tree如何造句,refutation tree怎么造句等。