查询词典 predicate logic

In the book, Boole set forth the formal axioms of logic (much like the axioms of geometry) on which the field of symbolic logic is built.

在这本书里，向前 Boole 装置逻辑的正式公理在上建立了符号逻辑的领域

Probabilistic logic was proposed by Boole~[42] and rediscovered by Nilsson~[12]There exist some severe problems in Nilssons probabilistic logic, for example, high computational complexity and inferential vacuousness-inferences typically lead to large probability intervals.

Nilsson的概率逻辑存在着一些严峻的问题，例如高计算复杂度，推理的盲目性，比较典型的是，推理导致巨大的概率区间。

The paper firstly examines the philosophical background. It holds that philosophical currents such as phenomenology and existentialism have an effect on this theory to some degree, and then traces the inner logic of origin and development of the theory from post-modernism and "anti-cultural" trend. Afterwards, it generalizes several important post-modern theorists such as Alain Robbe-Grillet, Roland Barthes, Susan Sontag, Michel Foucault, Jacques Derrida, Gilles Deleuze, Jean Baudrillard and so on. The paper proposes that "against-interpretation" is not only a literary critical claim, but also a cultural theory. Its attitude that overthrows and rebells tradition makes it inevitably tend towards the logic of deconstruction.Chapter two, chapter three and chapter four analyze in detail of Robbe-Grillet, sontag and Baudrillard respectively, and systematicly discuss the aesthetics pursuit and the cultural significance of the theory against interpretation through comparing the thoughts of them.

论文首先对反阐释理论产生的哲学背景作了辨析，认为现象学和存在主义哲学思潮在某种程度上对反阐释理论产生了一定的影响；再从60年代之后，后现代主义对现代性的批判与美国的&反文化&潮流两方面追寻反阐释理论产生与发展的内在逻辑；然后又概括介绍了阿兰·罗伯—格里耶、罗兰·巴尔特、苏珊·桑塔格、米歇尔·福科、雅克·德里达、吉尔·德勒兹、让·博德里亚等几位对反阐释理论发生过重要影响的后现代大家，指出&反对阐释&不只是一种文学批评主张，还是一种文化批判理论，它对传统的颠覆与反叛姿态使它不可避免地走向了&解构主义&的逻辑。

But people start worrying that the abrogation of National Day Holiday shall predicate the losing of furlough for the common people.

但有人担心"十一"长假的取消意味着百姓将失去休假的权利。

Narrow-sense accusative subject sentence is an objective narration to certain influences or results of a certain action, as represented by the predicate verb, does to the accusative in a certain event or procedure.

报纸新闻导语狭义受事主语句是叙述性的，是客观的陈述某一事件进程中谓语动词所代表的行为对受事产生的某种影响、导致的某种结果。

When the predicate verb is a multivalent verb, two other types will be produced: accusative subject and reason subject. The agent is marked by "bei" or "you "in the former, and "ba" in the latter.

当谓核动词是多价动词时，它存在有"受动"主语式和"缘由"主语式两种类型；前者，施事成分可用"被"或"由"标志，后者则只能用"把"标志。

Analytic proposition: a proposition whose predicate concept is contained in its subject concept; e.g.,"All bachelors are unmarried," or, All bodies take up space.

" 分析命题：谓词概念包含于主词概念之中；例如，"所有单身都未婚"或"所有物体都占空间。

Analytic proposition: a proposition whose predicate concept is contained in its subject concept; e.g.,"All bachelors are unmarried," or, All bodies tak e up space.

" 分析命题：谓词概念包含于主词概念之中；例如，"所有单身都未婚"或"所有物体都占空间。

As an anthropologist, the first question we need to consider is what the history really predicate.

而作为人类学家，我们首先要思考的一个问题是，对人类学而言，历史到底意味着什么？

Besides"de"at the syntactic level, this thesis also analyzes the suffix"de"at the lexical level in the corpus where one case is that"de"is employed at the end of "duande" and"zende" and the other case is that it is used in the special ancient Chinese sentence pattern"……de bianshi". As a matter of fact,"de"used after the appellative nouns is one kind of special suffix between subject and predicate with no real meaning.

一种情况是出现在"端的"、"怎的"中的"的"，另一种情况是在古代汉语中的特殊句式"……的便是"中，"的"用在称谓名词之后，并无实在意义，是一种用于主谓之间的特殊的称谓名词后缀。

Warden: That's a beautiful dog, but don't bring her again.

那是条漂亮的狗，但是不要再把她带来了。

You get up in the morning – no hangover!

你第二天早上起来的时候—不会宿醉！