查询词典 predicate calculus

We may now distinguish a "two-place predicate"(which governs two arguments, e.g., subject and object), a "one-place predicate"(which governs one argument, i.e., subject) and a "no-place predicate" that has simply no argument.

因此，语义学家就用&述谓&这一范畴并把它分解成变元和谓语，前者是&逻辑参加者&，后者是&关系因素&，负责把变元联系起来。

Frege's second-order predicate calculus was based on the 'function-argument' analysis of propositions and it freed logicians from the limitations of the 'subject-predicate' analysis of Aristotelian logic.

弗雷格第二阶谓词微积分是基于'功能参数的分析命题，它摆脱了限制逻辑学家的'主谓'亚里士多德逻辑分析。

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。

The logical system Qs is obtained from the pure predicate calculus by adding a binary predicate constant S which denotes the sanctions, an individual constant c denoting the state institutions, and some definitions of deontic modal words but not adding axioms or deducible means.

它以狭义谓词演算为基础，在其形式语言中添加专指"制裁"行为的谓词常项，添加专指"国家机关"这种法人的个体常项，添加规范词的定义，但不添加推演工具，就可次生出关于法律规范的逻辑。

In chapter 2, to meet the application requirements of incomplete information system, based on propositional connectives ∧、∨、→、ヲ、～ and ～, we construct medium logic propositional calculus system MP〓 and medium logic predicate calculus system MF〓.

第一章：简要说明不完全信息数据库和模糊数据库研究的目的和意义，介绍中介逻辑和模糊数据库的发展、模糊数据库系统的特性以及本文的主要研究工作。

The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.

采用传统的一阶模态谓词逻辑和简化的二阶谓词逻辑分别构建了基于信息不完整和实例知识不完整的相似性逻辑演算系统IISL和IKSL，给出了系统的语法、语义和推理规则。

The event calculus is a theory for reasoning about action based on first-order predicate calculus.

事件演算是基于一阶谓词演算的行动推理理论。

In 1879, the publication of ""Concept Writing"" marks the foundation of propositional calculus and the predicate calculus —— the basic part of mathematical logic.

1879年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。

In modern physics research, the calculus of variations has a broad application of law. As a solid mechanics, structural mechanics and computational mechanics of the theoretical foundation, it has important value in theory and practice on the mechanics; Variation method ruled out the perturbation of the restrictions can be widely used in many state-level and the state function in the calculation in the optical; Calculus of variations can be calculated with the parameters, we can guarantee the reliability of the results, can effectively reduce the workload of calculation, It can be said that the applications of calculus of variations are very broad.

在现代的物理学研究中，变分法有着广泛的应用：在力学上，变分法作为固体力学、结构力学及计算力学的理论基础，在理论上和实践上都有重要的价值；在光学上，变分法排除了微扰法的限制，可以广泛应用于诸多定态能级和态函数的计算中；在量子力学的应用中，具有可算出系统的参数，既可以保证计算结果的可靠性，又能有效地减少计算的工作量等的优点，可以说变分法的应用领域十分广阔。

ELNF calculus is a functional/logic calculus system which based on LNF calculus by extending it to include logic programming ability.

ELNF演算的解释技术金海，李智勇，张运桢，阳富民，银海（华中理工大学计算机系，武汉430074）摘要ELNF演算是我们在LNF演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言RFUNLOG的基础。

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。