15. There exists a counterexample showing that a compact topological space is not necessarily a sequentially compact space.
有反例表明一个紧致拓扑空间不一定是序列紧致的拓扑空间。
youdao
16. And the counterexample set is the set consisting of the premises plus the negation of the conclusion, so it's Friday Marianne is wearing jeans.
反例是包含，前提和结论的否定，所以星期五Marianne穿牛仔裤。
youdao
17. So the crucial point right now is that, thinking about harmony is offered as a counterexample to the generalization that invisible things can't be destroyed.
所以现在的重要问题是，和声的例子现在作为，灵魂不可毁灭，这一概括说法的反例。
youdao
18. Socrates never says Simmias, here's what your objection goes wrong: harmony is not really invisible or can't be destroyed, whatever it is, so we don't have a counterexample.
苏格拉底从没说过，西米亚斯，你的观点在这里有错，和声并非无形或者不可毁灭，所以我们没有了反例。
youdao
19. So if we understand the argument in terms of the second interpretation, it looks as invisible. It looks all the argument still go through, Simmias' counterexample fails.
所以如果我们以第二种解释，理解这个论证，灵魂是无形的，所有的论证仍然讲得通，西米亚斯的反例无效了。
youdao
20. Okay I gave you another test. That was one test of validity and another test I gave you was in the argument is valid if and only is it's counterexample set is inconsistent.
好，给你们另一个测试，这是有效性的测试，另一个是有效论点中，如果且仅如果这是不一致的反例。
youdao
21. So if what Socrates means by invisibility is the first notion: can't be seen with your eyes, then the argument is not any good, harmony is a pretty compelling counterexample.
所以如果苏格拉底说的无形，是第一个意思：，眼睛看不见，这个论证就不好，和声是个很有说服力的反例。
youdao
22. If he could show us, he could convince us that harmony is not really invisible, then we would no longer have a counterexample to the claim that the invisible can't be destroyed.
如果他可以说服我们，和声并非无形，那我们就没有了，灵魂不可毁灭，这一论断的反例。
youdao
23. More detailed researches are focused on discussing the rationality and restrictive of DF problem in this paper and the typical exemplification and counterexample are presented.
24. 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
25. Model checking probabilistic systems have been studied well these years, but counterexample generation for probabilistic system model checking has just drawn some attentions recently.
模型检测基于概率系统的反例产生问题，在最近引起人们的关注。
youdao
26. Then, after the introduction and analysis of algorithm ASRAI we show a counterexample of this algorithm and present a revised algorithm CHEN1 to eliminate the disadvantage of algorithm ASRAI.
27. Then, after the introduction and analysis of algorithm ASRAI we show a counterexample of this algorithm and present a revised algorithm CHEN1 to eliminate the disadvantage of algorithm ASRAI.
