词项逻辑,the theory of terms
1)the theory of terms词项逻辑
1.All kinds of inferences inthe theory of terms can be explicated concisely by the concept of attributes of classes.词项逻辑所有的推理都可以借助于类的关系和类的性质清楚而简洁地表述出来。
英文短句/例句
1.Uniting Calculation Equivalence Description to the Traditional Lexical Logic;联合演算对传统词项逻辑的等价描述
2.Function and Structure of English Lextion in CETRAN System英文生成系统词汇结构与词项位的逻辑描述
3.Making Choice of "Concept" and "Terms" in the Common Logistic Textboolks;传统逻辑教科书中的“概念”与“词项”之取舍
4.shared logic word processing equipment共享逻辑字词处理设备
5.predicate logic with equality带同异性的谓词逻辑
6.An Exploration of the Logical Polysemy of Chinese Words from Generative Lexicon;从生成词库论看汉语词的逻辑多义性
7.Asymmetry between Nominal Lexical Semantic Relation and Logical Relation;名词性词义关系和逻辑关系的不对称
8.Logical Relationship between Fuzzy Error Logical Decomposition Words and Connotative Negative Words;模糊错误逻辑分解转化词与内涵否定词的逻辑关系
9."In logic, a formal language together with a deductive apparatus by which some well-formed formulas can be derived from others. "在逻辑中,指从一组公理出发,通过推理而产生的词项和内含关系的一种抽象的理论结构。
10.Outline the contract by writing out and underlining paragraph headings in their logical order.按逻辑顺序列出合同段落的标题词.
11.Li Xuezhi and His Logical Memorial Method of English Words黎学智和他的“英语词汇逻辑记忆法”
12.The special word "%s" cannot be used for a logical device name.特殊词 ""%1!"" 不能用于逻辑设备名。
13.Apart from the misuse of words, mistakes in logic can occur.除了用词不当外，还可能产生逻辑错误。
14.L～* Predicate Logic and Newly Search for the R_0 Algebra;L～*谓词逻辑与R_0代数性质新探
15.Application of Petri Nets in Predicate Logic Reasoning;谓词逻辑推理中的Petri网应用
16.An Exploration of English Negative Logic Operator (not) and Ambiguity;英语否定逻辑作用词（NOT）和歧义的分析
17.The Syntactic Logic in the Compounds with Aff ixes of -ing and -ed;-ing及-ed构块在复合词中的句法逻辑
18.The Zero-Valence Verb in a Language: from the Perspective of Logical Valence;从逻辑配价看语言中的“零价动词”
相关短句/例句
traditional lexical logic传统词项逻辑
3)logical changeable item逻辑变项
1.Any change of thelogical changeable items should not go beyond the specific scope defined by the definite items.逻辑变项是逻辑形式中可以变化的部分 ,但是 ,逻辑变项的变化不是绝对的、无条件的 ,而是相对的和有条件的。
4)logical term逻辑项
5)logical constant逻辑常项
6)predicate logic谓词逻辑
1.Representation of design patterns based onpredicate logic;基于谓词逻辑的设计模式描述方法
2.Theory of quasi-truth degrees of formulas in two-valuedpredicate logic;一类二值谓词逻辑中公式的准真度理论
3.Bypredicate logic,the solution is set up and the process of analysis is provided.依据谓词逻辑规则建立解决方案,提供了求解的流程。
延伸阅读
传统逻辑基本规律又称思维的基本规律或思维规律。包括同一律、矛盾律和排中律。有的逻辑学家还把充足理由律也包括在内。它们是各种思维形式的特殊规律或规则的依据。矛盾律和排中律是古希腊哲学家、逻辑学家亚里士多德首先提出的。亚里士多德虽未曾明确提出同一律，但在他的某些言论中已有关于同一律的思想。传统逻辑学家认为，同一律、矛盾律和排中律这些思维的基本规律从不同方面体现了正确思维的主要特征──确定性。思维的确定性是客观事物相对确定性的反映，也是传统逻辑基本规律的客观基础。唯心主义者否认这些思维规律的客观性，他们或者认为这些规律是思维本身所固有的先验范畴，或者认为思维规律是人们根据约定建立起来的规则。传统逻辑基本规律对人们的思维具有规范作用，不遵守这些规律的要求，思维就会出现混乱和错误。
