[计] 反驳
...nalysis, Boolean formula, 3CNF, refutation, [gap=322]关键词和短语:证明的复杂性,一般情况下分析,布尔公式,3CNF,反驳, ...
辩驳
... refutable 可驳倒的;容易驳倒的 refutation 反驳;驳斥;辩驳 refute 反驳,驳斥;驳倒 ...
驳斥
...有一个有限个数元素的子句集合(记作) S 并且S中不含有变数(符号),如果S是不可满足的集合,那么S必定拥有一个 驳斥 ( Refutation ) b) 驳斥 ( Refutation )的定义: 一个子句集合S的 驳斥 是一个通过应用衍生方法产生的一系列子句
反证
... refringence折射 refutation反证 REGRangeExtenderwithGain与增益同步的量程扩展器 ...
[计]反驳;驳斥;辩驳
In informal logic an objection (also called expostulation or refutation), is a reason arguing against a premise, lemma, or main contention. An objection to an objection is known as a rebuttal.