查询词典 existential quantifier

From the perspectives of existential philosophy, humanistic psychology, psycho-analysis and feminist criticism, this dissertation seeks a systematic exploration and explanation for the"feminine self"in the autobiographic works produced by Chinese-European/American authoresses, putting forward such concepts as"feminine autobiography "and"existential value of famine individuals".

以&大中华文化&与&世界文学&格局为视野，以&个体生存&的女性&自我&为切入点，以存在主义哲学、人本主义心理学、精神分析学、女性主义批评等理论为研究方法，本论文对欧美华人女作家纪实性作品中的女性自我书写现象进行系统考察与梳理，提出&女性自我书写&与&女性个体生存观&等概念，试图建立起世纪之交欧美华人女作家纪实性自我书写创作批评的整体框架，并对相关现象进行适当的命名与阐释。

The existential characteristics of characters self-created or other-created could be found in the epistolary novel s with the study of the narrative type concerning the existential pattern of characters and their relationship.

从人物的存在方式及人物关系等角度研究书信体小说人物的叙事类型，可以发现书信体小说人物具有自造性和他造性的存在特征，由此形成自造性人物和他造性人物。

In addition, for a class of first-order predicate expression namely first-order predicate expression without free variable and with one quantifier, a necessary and sufficient condition for such first-order predicate expressions to be equivalent and a corresponding judging algorithm are come up with.

另外，对于一阶谓词公式的一个常见子类——无自由变元单量词的一阶谓词公式，提出了一个判定这种一阶谓词公式等价性的充分必要条件和判定算法。

Quantifier is one of key conceptions in logic, especially in modern logic. It always plays an important role in logical analysis and linguistical analysis.

量词是逻辑学尤其是现代逻辑中的一个核心概念，在逻辑分析和语言分析中有着特别的重要性。

Many valued logic ; quantifier ; Tableau method ; upset/downset in set ; regular formula

多值逻辑；量词； Tableau方法；集合的上集/下集；正则公式

When you use a quantifier, you want it to match everything up to the point where you want to finish your match.

当您使用a量词，你希望它符合一切of权排序）最多的地方要完成您的比赛。

After a number, quantifier, or partitive noun, with the word denoting the whole functioning as the head of the phrase.

用于数词、量词或表部分的词后面，表示整体起中心词的作用〕的

This is the first thing you will learn to do in quantifier logic,which is also called predicate logic.

这是在限定逻辑，也称谓词逻辑中你首先要明白的。

At the same time can also be used as a quantifier.

同时还可以作为量词使用。

Many people think it is Frege who first provided the significance of quantifier in modern logic.

量词是逻辑学尤其是现代逻辑中的一个核心概念，在逻辑分析和语言分析中有着特别的重要性。

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。