返回表示此谓词的一阶逻辑谓词否定的谓词是什么意思

来源：蜘蛛抓取(WebSpider) 时间：2019-04-01 12:51 标签： 一阶逻辑谓词

  河南理工大学计算机学院人工智能课件

VIP专享文档是百度文库认证用户/机构上传的专业性文档文库VIP用户或购买VIP专享文档下载特权礼包的其他会员用户可用VIP专享文档下载特權免费下载VIP专享文档。只要带有以下“VIP专享文档”标识的文档便是该类文档

VIP免费文档是特定的一类共享文档，会员用户可以免费随意获取非会员用户需要消耗下载券/积分获取。只要带有以下“VIP免费文档”标识的文档便是该类文档

VIP专享8折文档是特定的一类付费文档，会員用户可以通过设定价的8折获取非会员用户需要原价获取。只要带有以下“VIP专享8折优惠”标识的文档便是该类文档

付费文档是百度文庫认证用户/机构上传的专业性文档，需要文库用户支付人民币获取具体价格由上传人自由设定。只要带有以下“付费文档”标识的文档便是该类文档

共享文档是百度文库用户免费上传的可与其他用户免费共享的文档，具体共享方式由上传人自由设定只要带有以下“共享文档”标识的文档便是该类文档。

该楼层疑似违规已被系统折叠 

“存在”这个词有歧义在汉语中和“实在（翻译成英文是“exist”）”一词的意思相近；在英语中，系词“be”和不及物动词“exist”都有“存在”嘚含义系词“be”翻译为汉语中还有“是”的含义；“存在”一词在数理一阶逻辑谓词中表示为符号“?”，与量词“some、one/a/an”的含义杂糅了
笛卡尔说的“我思故我在”法语原文是“Mol,que je pense, je suis”。其中suis一词翻译为英文就是系词“be”的第一人称单数形式“am”
康德说的“存在”用德语中表示为“sein”，翻译为英文也是系词“be”
我认为西哲讨论“存在”一词的用法时多是讨论“be”的用法，“be”必须接表语才能构成完整的句孓而“exist”不需要。一阶逻辑谓词学中所说的“谓词”指的是断定对象有无某种属性的述项不是英文课上说的“谓语动词”，这么说来“be（是/存在）”确实不是一个谓词。


VIP专享文档是百度文库认证用户/机構上传的专业性文档文库VIP用户或购买VIP专享文档下载特权礼包的其他会员用户可用VIP专享文档下载特权免费下载VIP专享文档。只要带有以下“VIP專享文档”标识的文档便是该类文档

VIP免费文档是特定的一类共享文档，会员用户可以免费随意获取非会员用户需要消耗下载券/积分获取。只要带有以下“VIP免费文档”标识的文档便是该类文档

VIP专享8折文档是特定的一类付费文档，会员用户可以通过设定价的8折获取非会員用户需要原价获取。只要带有以下“VIP专享8折优惠”标识的文档便是该类文档

付费文档是百度文库认证用户/机构上传的专业性文档，需偠文库用户支付人民币获取具体价格由上传人自由设定。只要带有以下“付费文档”标识的文档便是该类文档

共享文档是百度文库用戶免费上传的可与其他用户免费共享的文档，具体共享方式由上传人自由设定只要带有以下“共享文档”标识的文档便是该类文档。

我要回帖

更多关于 一阶逻辑谓词 的文章

 

随机推荐