作者:姚从军广义量词量化经典逻辑表达力
摘要:许多自然语言句子具有QAB的形式,这里Q是量化短语;A是普通名词短语;B是动词短语。自然语言语句表达量化的方式是多种多样的,这样在形式逻辑中对量化式的刻画也是方法各异。许多英语限定词在经典一阶逻辑里能够得到刻画,尽管要使用有点复杂的累赘的说法。但是也有许多限定词不能在经典一阶逻辑中表达出来。我们可以增加新的量词符号,比如说most来丰富经典一阶逻辑的表达能力。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《晋中学院学报》(双月刊)创刊于1982年,由晋中学院主管,晋中学院主办,CN刊号为:14-1327/Z,自创刊以来,颇受业界和广大读者的关注和好评。 《晋中学院学报》主要辟有:政史研究、晋商文化研究、汉语言文学研究、理科教学研究、基础教育研究等栏目,凡上述领域的学术理论文章均可备选,欢迎国内外专家学者惠赐稿件。
省级期刊
人气 537145 评论 49
人气 401109 评论 51
人气 383815 评论 44
人气 364400 评论 56