1) Logic words
逻辑词
2) predicate logic
谓词逻辑
1.
Representation of design patterns based on predicate logic;
基于谓词逻辑的设计模式描述方法
2.
Theory of quasi-truth degrees of formulas in two-valued predicate logic;
一类二值谓词逻辑中公式的准真度理论
3.
By predicate logic,the solution is set up and the process of analysis is provided.
依据谓词逻辑规则建立解决方案,提供了求解的流程。
3) predication logic
谓词逻辑
1.
From point of view of data mining in this paper,definition of background knowledge is given in narrow sense,and the technology of background knowledge representation is presented by using first order predication logic,based on deeply analyzing meaning and function of background knowledge in data mining.
该文从数据挖掘角度出发,在详细分析了背景知识在数据挖掘中意义和作用的基础上,狭义地给出了背景知识的定义,并提出了基于一阶谓词逻辑的背景知识技术。
2.
At first,this paper introduces presenting knowledge based on semantic network,and transfers expression knowledge of SNetL into the form of predication logic for inference.
介绍了基于语义网络的知识表示 ,并利用基于知识的方法将SNetL的知识表示转换为谓词逻辑的表现形式 ,将其用于推理。
3.
Firstly, This paper analyzes deadlock with predication logic according to request models, and then gives a general expression of deadlock; secondly, it describes the deadlock with temporal logic.
从逻辑的角度出发，根据请求模型用谓词逻辑分析死锁，并统一于一个通用的表示中；然后用时序逻辑方法进一步给出了一个更通用的死锁表示用逻辑方法表示死锁，便于程序的安全性验证 最后，把这些方法用于 Ａｄａ 程序的验证系统
4) adding words logically
逻辑加词
5) logical connective
逻辑连词
1.
According to the cohesion theory by Halliday and Hasan, logical connectives can help make explicit those coherence relations within a text and recovery of such coherence relations is essential for comprehension.
逻辑连词(有些学者称之为话语联系语)用来表达句子间逻辑关系。
6) logical quantifier
逻辑量词
补充资料：逻辑联结词
在复合判断中把作为它的构成要素的某个或某些判断联结起来的概念。常用的逻辑联结词是：负判断中的“并非”，联言判断中的“并且”，假言判断中的“如果……那么……”，选言判断中的“或者……或者……”。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条