第五章 谓词逻辑文档.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是谓词,表示“某人是某人的丈夫”这种关