助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   that 在 逻辑学 分类中 的翻译结果: 查询用时:1.232秒
图标索引 在分类学科中查询
所有学科
逻辑学
生物学
金属学及金属工艺
有机化工
化学
地质学
环境科学与资源利用
自动化技术
电力工业
更多类别查询

图标索引 历史查询
 

that    
相关语句
  表明
    Recent researches have shown that, pocrims (partially ordered commutative residuated integral monoids) and BCK algebras with condition (S) are categorically equivalent, and residuated lattices and bounded BCK lattices with condition (S) are categorically equivalent.
    最近研究成果表明,偏序交换剩余整独异点(Pocrims)与具有条件(S)的BCK代数范畴同构,剩余格(Residuated lattices)与具有条件(S)的有界BCK格范畴同构。
短句来源
    The abovementioned development orientation of the study of logic very well shows that the second change in the study of logic has come into being
    以上逻辑研究发展的动向,表明了逻辑研究的第二次转向已经形成。
短句来源
    Indication theorem of generalized contradiction is proved,which indicates that generalized contradiction of one limited disturbing fuzzy propositional logic certainly can be downgraded to contradiction of another limited disturbing fuzzy propositional logic.
    证明了矛盾式表示定理,表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式.
短句来源
    The history of 20th century shows that even the partial or not-so-good ideas can spur others to reflect and so to raise the study to a higher standard.
    20世纪的中国逻辑史研究表明,多种形式的学术探讨,丰富并向前推进了中国逻辑史的研究; 即使是片面的、甚至是不大合理的研究,也能促使人们反思,从而使得中国逻辑史研究提高到一个新的层次。
短句来源
    The results of this research indicate that:(1) all subjects have no mature ability of syllogistic reasoning in this research;
    研究结果表明:1、小三、小五与初中一年级儿童关于范畴三段论的推理均未达到范畴三段论推理能力的成熟水平。
短句来源
更多       
  
    So it is meaningless to say that tp(t) is false or tp(t) is true in such a case.
    所以在情况时说tp(t)之假或フp(t)之真是无意义的。
短句来源
    In addition, this thesis points out that the resource of semantic paradox is in fact "presupposition fallacy", by investigating carefully "context-sensitivity" program as well as analyzing "Situation Semantics " program, the significant representative of "context-sensitivity" program and the typical case of paradox research.
    同时,详细考察了“语境敏感”方案,并对方案方向的重要代表、悖论研究的重要典范——“情境语义学”解悖方案进行了分析,指出语义悖论的根源可被进一步归结为“预设错误”。
短句来源
    So adopt the mathematics method and go to describe the natural language from the structure angle, introduced the intension concept, possible world might should arrive person who express letter one that extend any the intensions of expression type.
    引入了公式的内涵概念,认为任何表达式的内涵就是从可能世界到表达式外延的函项。
短句来源
    Embarking from view of grand logic, discussion of the philosophical significance of paraconsistent logic is unfolded on the level of non-classical logic, logical truth, problems of contradiction, as well as new pattern of science; and states that the philosophical questions brought by paraconsistent logic is positive.
    部分内容主要基于大逻辑的观点,将次协调逻辑放在了与非经典逻辑、逻辑真理观、诸矛盾问题以及科学新模式相联系层面上来探讨其哲学价值,并认为,由次协调逻辑所带来的哲学问题是积极的。
短句来源
    The adequacy condition require that all the equivalence of the form (T) should are logical consequence of this definition.
    实质上适当,即所有(T)形等值式是定义的逻辑后承。
短句来源
更多       
  发现
    Especially,it is dicovered that for everyα in the logic,bothα-HSandα-MP musthold.
    特别是,在这种逻辑中笔者发现α-HS规则和α-MP规则对每个α都无条件地成立。
短句来源
    During that time, the scholars applied European logic and ancient Indian logic to explain the materials of ancient Chinese Mingbian theory, and discovered that there were plenty of logical theories in ancient China.
    学者们运用西方逻辑理论和因明,阐释中国古代名辩思想资料,发现中国古代有丰富的逻辑理论,开创中国逻辑史研究之先河。
短句来源
    The study of ancient Chinese logic in the 20th century found the logic that existed in ancient China and the features and the laws of ancient Chinese logic, and has laida solid foundation for the study in this new century.
    20世纪的中国逻辑史研究,发现中国古代有逻辑,揭示中国古代逻辑的特点,阐明中国古代逻辑的发展规律,取得了很大成就,并为新世纪的中国逻辑史研究奠定了很好的基础。
短句来源
    The research about this theory has found that principle of reason is the real presupposition of argument, while principle of difference, principle of possibility and principle of question are not, as they are only the demands of argument.
    有关论证预设理论的研究发现,理由律是论证的真正预设,相异律、可能律、质疑律则不是论证的真正预设,仅是对论证提出的要求。
短句来源
    After considering, we find that language factors have an especial importance during the formation and the development of Aristotelian logical theory, his logical theory and his language study have a certain origin relation.
    本人通过研究发现,语言因素在亚里士多德逻辑学说的形成和发展中起到了非常重要的作用,他的逻辑学说与他的语言研究有一定的渊源关系。
短句来源
更多       
  
    In this paper, we prove that the M, Newman's conjecture is true for all the subgroups of f = SL(2, Z) which contain F(2) where F(2) is consist of matrices A ( A∈ F and A=I mod2 ) .
    本文证明了M. NEWMAN的猜想对一切包含Γ(2)的Γ=SL(2,Z)的子群成立,这里Γ(2)是由一切符合条件A=Imod2,A6Γ的矩阵A组成。
短句来源
    The root of Ross paradox is the much difference between the meaning and logical effect of combining the connective "V" with the deontic operator "0" or "P" and that of the combination of the counterparts of the three symbols above in natural language , as people know generally, "either", "should" and "permission".
    罗斯悖论的根源在于:道义逻辑系统中的联结词“V”与道义算子“O”、“P”相结合使用时,其含义、逻辑功效跟这三个符号据通常的理解对应的日常用语“或者”与“应当”、“允许”相结合用时其含义、逻辑功效差异较大。 承诺悖论的两个公式是绝对道义逻辑系统的特征公式。
短句来源
    Basing upon the reconstruction of the development of modern multidimensional debates about logic in the 21st century in China,the author of this dissertation suggests that a pluralist conception of logic is more reasonable.
    小逻辑观对逻辑作较狭义的理解,只有演绎逻辑、形式逻辑、现代逻辑才是真正意义上的逻辑学,传统逻辑中的很多内容、辩证逻辑、培根倡导的那种既可作归纳逻辑理解又可作归纳方法理解的归纳逻辑均被排除在逻辑学之外。
短句来源
    The theory of descriptions insists that proper names have denotation as well as connotation,and delineates the unique logical status and function of definite descriptions , but Russell抯views that a term抯 meaning is its referal definite descriptions have no meaning necessarilyresult to assault.
    摹状词理论坚持专名既有含义又有指的观点,揭示了摹状词独特的逻辑地位与作用,但罗素认为意义即指,孤立的摹状词没有意义的观点必然招致攻击。
短句来源
    Strawson refuted Russell抯 theory of descriptions with taking drastic measures to dealwith an emergency, he thought that Russell抯 theoretical basis that a term抯 meaning isits referral is wrong, and he made a distinguish between meaning and reference, intraducingcontext into the study of meaning .
    斯特劳森对罗素的摹状词理论进行了釜底抽薪式的反驳,认为罗素的理论基础——意义即指是错误的,并区别了意义和指,将语境因素引入意义研究。
短句来源
更多       

 

查询“that”译词为其他词的双语例句

 

查询“that”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  that
The purpose of this note is to prove, as Lusztig stated, that the Euler characteristic of the variety of Iwahori subalgebras containing a certain nil-elliptic elementnt istcl wherel is the rank of the associated finite type Lie algebra.
      
In the present paper we study the remaing nontrivial case, that of a negative central charge-N.
      
In this note we present a very simple method of proving that some hyperbolic manifoldsM have finite sheeted covers with positive first Betti number.
      
In all these cases we actually show that Γ=π1(M) has a finite index subgroup which is mapped onto a nonabelian free group.
      
In the case of 4-dimensional anticommutative algebras a construction is given that links the associated cubic surface and the 27 lines on it with the structure of subalgebras of the algebra.
      
更多          


点击这里查询相关文摘
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关that的内容
在知识搜索中查有关that的内容
在数字搜索中查有关that的内容
在概念知识元中查有关that的内容
在学术趋势中查有关that的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社