1)assertion[英][?'s?:?n][美][?'s???n]断言
1.Research on the Application of Assertion-Based Formal Verification;基于断言的形式验证方法应用研究
2.Application of Technology of Assertion Verification on IP Core Verification;断言验证技术在IP核验证中的应用
3.Transaction Based Assertion Verification and Verification Platform of SDH Chip;基于事务断言验证及SDH芯片验证平台
英文短句/例句
1.The decision or pronouncement made.决定，断言作出的决定或断言
2.It suffices to prove the second assertion.只要证明第二断言即可。
3.He affirmed that he was telling the truth.他断言他所说的是事实。
4.I aver that I have spoken the truth.我断言，我说了真话。
5.He claimed (the result of) the election was rigged.他断言选举（的结果）有假.
6.It may be safely affirmed that he is innocent.可以断言他是无罪的。
7.The assertion is false.这一断言是不成立的。
8.The expert pronounced the picture to be a forgery.专家断言这张图是赝品。
9.He roundly asserted that it is true.他完全断言这是真的。
10.They asserted that the man was innocent.他们断言那人无罪。
11.The suspect protested his innocence.嫌疑人断言他的无辜。
12.to declare or affirm as true.断言或确认是正确的。
13.Put no faith in a liar's assertions.不要相信说谎者的断言
14.I declare him to be a liar.我断言他是个骗子。
15.I swear he isn't a coward.我断言他并非懦夫。
16.He predicated rationality of man.他断言人是有理性的。
17.Makes no claim to be a cure.不能断言为有效对策
18.The newspaper article alleges that the mayor is corrupt.报纸上断言该市长腐败。
相关短句/例句
predicate[英]['pred?k?t][美]['pr?d?k?t]断言
3)judgment/assertion判断/断言
4)assertion judgment断言判断
5)assertiveness n.断言;独断
6)A declaration or an assertion.宣言或断言
延伸阅读
断言断言assertion 断盲脚留时妞.;。，移.曰.卜拿粤伽勺p万盛咖或s纽把-~)，(断亨)争匆((assej七Ve)sen让泊戊) 一个由其意义可断定其真假的陈述语句，在狭义下，数理逻辑中把它理解为逻辑一数学语言的一个闭公式，并且由其语言的语义(se江旧叮t心)可以断定其真假. 于是公理集合论中的各种数学命题，例如选择公擎~of咖让)，诊琴卿娜田掀加姻nh男沁th口is)等都能写成公式的形式;根据通常的语义法则、这个公式就表示了命题所包含的内容.但这决不意味着存在一个识别语言中命题的真假的方法.而且，语义学本身并未充分发展，或可以提供在解决某些断言真假的问题时会遇到的基本困难.在一个理论的框架内，某些断言的不可解性是由形式化方法(如m刘lza由n业血刃)阐明的(例如见公理集合论恤心。叮坦t允sett坛幻钾)).
