查询词典 quantifier

The quantifier is one of modern Chinese grammar traits and the individual companion quantifier is the most representative one in quantifier system.

量词是现代汉语语法的特点之一，陪伴性个体量词是量词系统中最具有代表性的一类。

The second basic different between sentential and quantifier logic,then,is that in quantifier logic we will be using and analyzing these basic quantifier concepts and the relations between them.

句子逻辑与限定逻辑的第二个基本区别是在限定逻辑中我们将使用和分析这些基本限定词的概念以及其间的关系。2 ~9 f${ X- l

Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.

任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。

P. 71 We will call this thesis—the thesis that there are many meanings for the existential quantifier that are equally natural and equally adequate for describing all the facts—"the doctrine of quantifier variance"(Hirsch 2002b, Sider 2009). What exactly are the candidate meanings in question?

我们会说这个主张（存在量词有多个意思，都同等地自然和足以表达所有事实）是"量词可变"(Hirsch 2002b， Sider 2009)。

The atoms can be combined into formulas, as is usual in first-order logic, with the logical operators ∧,∨ and, and we can use the existential quantifier and the universal quantifier to bind the variables.

同一阶逻辑一样，原子可用通过逻辑算子∧、∨和组合成公式，而且我们可以使用

Because there are changeful numeral and complex quantifier.There are also many types of phrases consist of numeral and quantifier.

现代汉语中数词千变万化，量词的种类繁多，数量短语的组合方式多样。

The first order predicate logic features, which appear in the axiom clause, include: existence quantifier'exist', universal quantifier'all','find, and'find all'.

语法正确性的检查与传统的语法分析程序所做的工作类似，采用递归子程序分析法。

Peirce ; quantifier ; semiotics ; index ; algebra of logic ; existential graphs ; line of identity

皮尔士；量词；指号学；索引；逻辑代数；存在图表；等值线

The paper studied the query language of linear order constraint with existential quantifier under canonical forms.

本文考察了带存在量词的基于代数的线性序约束查询语言，给出其基本运算的定义和实施算法。

The algorithms of algebraic query operations were given. With existential quantifier, we could reduce the cost of exact projection.

不对存在量词进行消去，可以减少计算精确投影的一些开销，还能表达包含无穷约束元组的线性序约束关系。

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.

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