查询词典 predicate logic

I shall reformulate the problem of predication as the following two questions:(1) What justifies our univocal use of one and the same predicate expression to predicate of several different things?

我将表述问题重新界定为以下的两个问题：是何依据使得我们能单义地使用同一个述词来表述不同事物？

According to the character of adnex in Predicate-complement Structure, Predicate-complement Structure can be divided into Moving fill structure and Patterns complement structure.

根据述补结构中充当述语的成分的性质，述补结构可以分为动补结构和形补结构。

Human being's language consciousness system relates directively to speech communication system. In fact it shows subject-predicate structure of the form, that is "object- subject- character- predicate".

人类语言意识系统直接涉及言语交际系统，表现为&事物－主体－普遍特征－述谓&形式的&主体－述谓&结构。

More generally, Unger could interpret Lewis by replacing singular quantifiers over composites with plural quantifiers over simples, and by replacing each predicate of composites with an irreducibly plural predicate of simples.

更一般的，U会解释L，取代单一量词，而使用复数量词，取代组合物的述词，而用简单物的不还原的复数述词。

Based on knowledge tree of predicate,the planning tree of predicate is defined and some strategi...

在谓词知识树的基础上定义谓词规划树，并用各种策略来提高规划树的生成效率。

The meaning argument assumes that, in a sentence like this one about being happy , we use the predicate to attribute a universal to the subject. But in the case of predicating the denial of self-instantiation, it turns out that we cannot have in mind a universal that we intend the predicate to stand for.

含义论证假设，在一个句子，诸如关于'是快乐的'的句子里，我们使用谓词归一个共相给主语，但在述谓对自身例现的拒绝时，这证明了我们不能思及一个共相，这个共相是我们认为谓词所支持的。

Predicate: The part of a sentence which comprises a finite verb or a verb phrase and which says something about the subject is grammartically called predicate.

句子中由限定动词或者动词词组构成并对主语进行表述的这一部分在语法上叫做谓语。

The context started from the properties of the logic algebra which based onResiduated lattic, studied the relationships between all kind of logic algebras andits corresponding logic systems.

本文便从研究建立在剩余格之上的各种逻辑代数的性质入手，研究了各种逻辑代数，以及与其相应的逻辑系统之间的关系。

His main contribution is the first in mathematical logic, his departure from mathematical logic, the logic of established Atomism and a new realism, he became the founder of modern philosophy of one.

他的主要贡献首先是在数理逻辑方面，他由数理逻辑出发，建立起来的逻辑原子论和新实在论，使他成为现代分析哲学的创始人之一。

The theory of compound propositions inference, The theory of categorical proposition inference, The modal logic, Foundational laws of logic ,The theory of inductive logic ,The theory of proof and refutation.

主要有：概念的理论，命题的理论，复合命题推理，直言命题推理，模态逻辑，逻辑规律和归纳推理。

In the chapter 2, the theoretic knowledge about the photosensitive resin and the grinding tools was firstly introduced.

第二章阐述了光固化树脂结合剂磨具的相关理论研究。

Do not use the program's indenting or margin-setting features; these will be added during typesetting.

不要使用缩排，页面边缘设置之类的选项，偶看不大懂。