首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  综合类   3篇
  2007年   1篇
  2005年   1篇
  2004年   1篇
排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
分别对汉语中以句首”有”字结构为例的存在量限式和以周遍性主语句为例的全称量限式进行逻辑语义的分析,以调查统计为基础探讨汉语歧义量化句的问题。在最后部分对汉语歧义量化句在Prolog语言的环境下做了个案的语义自动分析的实现。  相似文献
2.
系统Z是文[7]构造的经典命题逻辑系统,这一系统的初始联结词是一类广义的谢夫竖函数,并且采用括号记法。作者在系统Z中加入存在量词,把存在量词和广义谢夫竖函数统一作括号记法,并且把系统Z的规则作相应的处理,最后证明了所得系统Z'的完全性。  相似文献
3.
当关系命题的两个关系者词被全称和存在两个量词约束时,即所有事物与有些事物有某关系或有些事物与所有事物有某关系,如何正确表达和理解这类命题的含义以及它们之间的关系?这是现代逻辑必须研究和解决的问题。可以运用一阶逻辑工具及其解释的方法,分析该类命题的语形和语义,揭示不同量词在关系命题中位置变化的规律,对关系命题相应的普效式、可满足式给出严格的证明,从而提供一个逻辑分析实例。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号