检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《四川文理学院学报》2013年第3期107-111,共5页Sichuan University of Arts and Science Journal
基 金:教育部人文社科研究西部边疆项目--“汉语语句系统的形式语义学研究”(12XJA740007);四川省哲学社会科学研究项目“汉语句法和逻辑语义互动关系研究”(SC128034)
摘 要:存现句(NP1+VP+NP2)表示"某个处所存在(出现、消失)了某个事物"。句首的"某个处所"(NP1)在句法结构形式上常常是一些表示时间、空间的词或短语,有的甚至省略。不管结构形式上如何变化,NP1始终表示一个存在处所的语义内涵,在逻辑形式上用存在量词(□)表示,句首表示存在处所的意义在Pro-log语言的环境中形式化为:λP[□x[NP1(x)∧P(x)]]。The Existential sentences are used for expressing there are/are not/were/were not something. The beginning of the sentences ( NP1 ) is often made up of time word, space word or phrase, and some sentences even can omit or not disappear in syntactic structure. No matter how the syntactic structure changes, the NP1 always expresses semantic meaning of an existing premises. NPlcan use existential quantifier (口) to indicate it in logic form. The formalization of NPlthat indicates meaning of existential premises is λP[口X[NP1(x)∧P(x)]] in prolog's language environment.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.46