【摘 要】
：
量词 (квантор)就是对个体变项数量上的约束成分 ,这是由逻辑学引入语言学的一个概念。谓词逻辑只讨论两个量词 :全称量词 和存在量词 。全称量词的语义解释为“所
论文部分内容阅读
量词 (квантор)就是对个体变项数量上的约束成分 ,这是由逻辑学引入语言学的一个概念。谓词逻辑只讨论两个量词 :全称量词 和存在量词 。全称量词的语义解释为“所有……” ,存在量词的语义解释为“存在(至少有一 )……”。对量词的研究一直为形式语义学所高度重视。
The quantifier (квантор) is a constraint on the number of individual variables, a concept introduced by linguistics into linguistics. Predicate logic discusses only two quantifiers: fully quantified words and existential quantifiers. The semantic interpretation of the fully quantified words is “all ...” and the semantic explanation of the existing quantifiers is “existence (at least one) ...”. The study of quantifiers has always been the focus of formal semantics.
其他文献
家禽养殖业是畜牧业发展的重要组成部分,是农户增收、增产、维护社会稳定的重要行业。但是,就养禽业而言,自身抗风险能力有限,常因重大疫病的影响而造成重大的损伤。以H7N9流
证券类私募基金在我国起步较晚，行业发展仅十几年时间，但经历市场多轮大浪淘沙的洗礼。近年来，随着政策、监管和私募基金管理人自身的不断完善，行业在管理规模、规范水平、服务质
我国是猪肉生产和消费大国,养猪业在我国已有几千年历史。猪肉一直是我国居民最喜爱的食品之一,长期以来我国养猪业在我国畜牧业和农业中占有重要的地位。近年来,随着养殖业
在生猪养殖领域中,一些具有传染性的疫病出现会造成严重的经济损失,即使是一些普通疾病也会影响饲料转化率,耽误生猪的长势,因此,目前生猪养殖普遍坚持"预防为主、防治结合"
(本刊讯)近日,万事达卡首次推出音效品牌标识,进一步丰富了万事达卡品牌的表现力。未来消费者无论身处何方,不管在实体、数字还是语音环境下使用万事达卡支付手段,都有机会聆
为探究生物炭基肥对贵州黄壤朝天椒的施用效果,采用大田试验,以自制生物炭基肥为供试材料,研究不同生物炭基肥施用量[1 758(BCF1)、2 167.5(BCF2)、2 550(BCF3)、2 932.5(BCF
张新民、张婷婷在《学术交流）2017年第5期撰文指出，党的十八大将创新放在国家发展的核心位置，创新驱动发展是转型期中国经济发展的必由之路。我国企业创新效率空间依赖性明显，各
<正>1卵黄高磷蛋白组成与结构卵黄高磷蛋白由Macham和Olcott于1949年首先从蛋黄中分离出来,是一种高度磷酸化的糖蛋白,主要存在于鱼卵和禽蛋的蛋黄。鸡蛋中卵黄高磷蛋白是卵
目的探究固本咳喘方治疗尘肺病合并慢性阻塞性肺疾病(COPD)的临床疗效及对血气指标的影响。方法80例尘肺病合并COPD患者,采用随机数字表法分为观察组与对照组,各40例。对照组
目的:探讨人参多糖(GPS)对人粒单系造血祖细胞(CFU-GM)和人早幼粒白血病细胞株(HL-60)增殖分化的影响.方法:采用造血细胞体外培养,形态学观察,免疫细胞化学,流式细胞术等实验