《离散数学第3章(2)》由会员分享，可在线阅读，更多相关《离散数学第3章(2)（90页珍藏版）》请在金锄头文库上搜索。
1、南牵大筑收理孝院2UNIVERSITYOFSouTHCHINAScHooLOFMATHEMATICSANDHysics第三章谓词逻辑$3.1谓词逻辑的基本概念。和题逻辑的缺陷把问题看成一个个孤立的命题,忽略了问题之间的联系,不能反映某些重要的常见的逻辑思维过程。南莲大第蝶玟学院人UNIVERSITYOFSOUTHCHINAScHooLOFMATHEMATICSANDtysics1繁琐例.表述集合个体性质及相互关系S=1,2,50表述S中元素大于3这样下仁性质,需要123,223,“,5023等00个命题。吾升芒大挂血2不片z八UNIVERSITYOFSOUTHCHINA2sctooLOFMAT
2、HEMATIcsANDtysics2.不能描述问题间的逻辑联系*例如,逻辑学中著名的三段论:P:凡人必死Q:张三是人R;张三必死*在命题逻辑中,应该有(PAQ)五R,从而公式(PAQ)-R应该是恒真的。*显然该公式不是恒真的,解释P,Q,-H就能弄假该公式。UNIVERSITYOFSOUTHCHINAScHooLOFMATHEMATIcSANDHysics*原因,命题R是和命题P,Q有关系的,只是区种关系在命题逻辑口无法表示*因此,需要对命题的成分、结构和命题间的共同特性等作进一步的分析,讷正是谓词逻辑所要研究的问题。南牵大筑收理孝院2UNIVERSITYOFSouTHCHINAScHooLOFMATHEMATICSANDHysics*为了表示出这三个命题的内在关系,需要引进谓词的概念。*例如,在前面的例子“张三是人“中的“是人“是谓语称为谓词,一“张下“是主语,称为个体。南学大符收玲学阮UNIVERSITYOFSOUTHCHINAM(x)Q:H(张三)R:M(张三)
