南邮离散数学第2章谓词逻辑.ppt

《南邮离散数学第2章谓词逻辑.ppt》由会员分享，可在线阅读，更多相关《南邮离散数学第2章谓词逻辑.ppt（66页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。

第二章谓词逻辑 谓词的概念与表示 命题函数与量词 谓词公式与翻译变元的约束变元的约束谓词演算的等价式与蕴含式谓词演算的等价式与蕴含式谓词演算的推理理论谓词演算的推理理论在命题逻辑中，P,QR是无法推出的。在命题逻辑中，基本单位是原子命题，它是不可再分的。但是原子命题间还是有一些共同特征的，需要进一步解析。例如：例1：P：小李是学生。Q：小张是学生。在命题逻辑中，这是两个不同命题，无法再分了，但共性“是学生”（命题的本质属性）无法进一步刻划出来，还有些很简单的三段论也是无法用命题逻辑的理论推出的。例2：P：人是要呼吸的。Q：老张是人。R：老张是要呼吸的。第二章谓词逻辑