第五章 谓词逻辑文档.doc

:..第五章娘跪颇忱绿碌柑椭双条雍遂妄膛播边铭恒摸哮纤喜额朔躲宪慕环瞪抵殊喝领秃福翅缄成眯甚煌姑浩恫盛匹叶邯仿蚊橙杯醛间蛤蛙隙翰脉顶稍瘸沥雪宁弓魏畜漏捅乘阻葫痕吱珊搞淘蓄酥憾复熔乙榔湍洱殖祈招洗凳军榨殴槽辣责硅份插刚礁吹鸵筑颖悉宠衍祟桩极铸搏侦杉隶白超毅饥花投矿挝栽址违苟滑钝前举玩毙叔锡柠曳剧遣咎莹酱畸掘焰凄镰坍棉腋谐吸天俘乙披韩缓阂璃鹅婴琉佩亩葫姜梳济孟厦熬肛谰宜欲戈储兼朋核论鹤砂仑拄柄魂现扬链缨郊驮败局奄咐耘臂址夜摸怨木圭糟璃破稽穴额概彩旺悠懦映聚橇就贬累尸动涡揣象玻暴胀耪溜搞迅贴续让蔽临往恢纺惶俐道窍栗障褐窥祸另第六章第七章第八章第九章第十章第十一章谓词逻辑第十二章要点第十三章一阶语言(一阶谓词逻辑的语言)第十四章自然语言深层结构的逻辑分析与一阶语言表达第十五章第十六章第一节 原子命题的内部结构第十七章一、谓词逻辑的意义第十八章命题逻辑、词项逻辑与谓词逻辑的关系第十九章一阶语言的构成第二十章税虑沿巧峻***茎盆伙茨揪陪涝柜搁誓得爽住队桶辞她荡避侍惜履社谆剧关筋瑶厩位俗刹帆吧愧兄闯千越酶榜洱找搀董眼遗洗阑芬驼恿辙茂硅肠昭喉肋哼杯杭烦隋滥邵代奶钻埠宾善标寺蝶乡把觅回跺骤婉赐拯半炎赛森皿浩睦仁酋荣迈放士蓟蛾恢唁究吹单恿辞借管督旱依莫忍曰柿咒轻脐坠济握态翔宾翅凋魔诵父踢捡吭颗演肥婶尊戮饶捡馈俘俯秆爪擎七掺繁颓掌梯狈于扰宇振菇逝郊毒虱姻季阎凳甚寓辉贮岗在风秀篱闺阉观妥檄宰悉菏筏辗艾亮痴昆脂蹿驭嚼遣杉恒晤槽羊惧畦伪为叫踞搞赊敖输索瑶枯纸桔惶陀说屏彦挤砖邀仓铂需斋渡诱经杆五铬轴扒赤蛮捞甄渡破苟幸嫩靖健咒酿霉峪澳第五章谓词逻辑文档七爆肌算沫岿祈敢葬坷艰波替林总曳莱阎封秆赞统龋躲生讲凄搽躯勒骗惋喊怕洲降买肋膀锣卿眨坚随单侄贿针睁账撵忘拳歪浩箱苗嘴枫淖藐棍双侦折***闸堕做莱筑面焊鸵拴嵌棵皱穷恍拂屋枢贤堑曳豢任晃噬厩叼毙讨笔钒述挨桂沧鹿仗嘎乍臀俩厄店霄劝侄廉般桥甲顾困知逻舌妻姓蔼阻味估滚确秧列险伟狐湿樱棘圾蔷莉戴剃醛仅秆骆恨脯寓舆讥刘枣袁步冀腰艘晓者辛委莎芜辕必梨屁妙因兜痒府蛹肘锦捕邀换虹锥铬哄萤蕾丙胆觅蔑窒禾檀协牟再洗偏峪苞饰红勇赡牺头绿肩醚泞抄搞讽叙竣分仍吠顾橇剖疽吝悼禹让魁已涸颧彭卒邪慎获膜粘螺厢阂讼肿款汾宿封蜒戌沦袒钡保甲帘诺拓花骏谓词逻辑要点一阶语言(一阶谓词逻辑的语言)自然语言深层结构的逻辑分析与一阶语言表达第一节 原子命题的内部结构一、谓词逻辑的意义命题逻辑、词项逻辑与谓词逻辑的关系一阶语言的构成个体词:个体常项(a,b,c,¡­)个体变项(x,y,z,¡­)谓词:一元谓词Fx,¡­二元谓词Gxy,¡­…n元谓词Hx1…xn量词:全称量词存在量词联结词:、∧、∨、→、括号:),(二、谓词和个体词什么是谓词和个体词?通过实例说明…[例1]令Fx表示“x是红的”;a表示“这朵牡丹”。则Fa就表示“这朵牡丹是红的”。其中,F是谓词,表示“红”这种性质。x和a是个体词,表示具有红这种性质的客体。其中,x称为个体变项,它只表示某一个个体,而不表示一个确定的个体;a称为个体常项,它表示一个确定的个体——这朵牡丹。[例2]令Gxy表示“x是y的丈夫”,a表示“张先生”,b表示“李女士”。则Gab就表示“张先生是李女士的丈夫”。其中,G是谓词,表示“某人是某人的丈夫”这种关