refutation tree

refutation tree 基本解释

[计] 反演树; 反驳树

refutation tree 用法和例句

1、In the refutation tree of predicate calculus, the proved conjunctive formula.

在谓词演算的反驳树中, 被证明的合式公式。

重点词汇

refutation n. 反驳, 辩驳, 反驳的证据 [计] 反驳

tree n. 树；木料；树状图；宗谱 vt. 把…赶上树；使处于困境；把鞋型插入（鞋内）