HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

表达量化的方式及其形式刻画问题探讨

作者:姚从军广义量词量化经典逻辑表达力

摘要:许多自然语言句子具有QAB的形式,这里Q是量化短语;A是普通名词短语;B是动词短语。自然语言语句表达量化的方式是多种多样的,这样在形式逻辑中对量化式的刻画也是方法各异。许多英语限定词在经典一阶逻辑里能够得到刻画,尽管要使用有点复杂的累赘的说法。但是也有许多限定词不能在经典一阶逻辑中表达出来。我们可以增加新的量词符号,比如说most来丰富经典一阶逻辑的表达能力。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

晋中学院学报

《晋中学院学报》(双月刊)创刊于1982年,由晋中学院主管,晋中学院主办,CN刊号为:14-1327/Z,自创刊以来,颇受业界和广大读者的关注和好评。 《晋中学院学报》主要辟有:政史研究、晋商文化研究、汉语言文学研究、理科教学研究、基础教育研究等栏目,凡上述领域的学术理论文章均可备选,欢迎国内外专家学者惠赐稿件。

杂志详情