(7)反例法(counterexample method): 证明一个演绎论证无效的方法,但它无法
基于16个网页-相关网页
counterexample method
反例方法
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Under his termination-deciding method, a nonterminating input can be further constructed as an counterexample for the given nonterminating loop, which makes the result more complete.
在其终止性可判定理论的基础上，对于给定非终止循环构造出其非终止输入作为反例，使该结果更加完整。
youdao
应用推荐
模块上移
模块下移
不移动