谓词逻辑初步.pptx

谓词逻辑初步;内容提要;引言;引言;谓词 (Predicate);量词(Quantifier);关于论域/作用域的讨论;关于论域/作用域的讨论;带量词的公式的否定式;多个量词并用;多个量词并用;将自然语言翻译成逻辑表达式;一个关于素数的命题;为阅读和构造证明而必须掌握的若干基本逻辑要素：推理规则;推理的一般解释：;老钱该不该来？;再一例;推理过程正确性保障;推理的结构-重言式;推理的结构-重言式;推理过程;与量词有关的“自然演绎”规则;例;命题逻辑的推理规则;常用的蕴涵重言式;蕴涵重言式与导出的推理规则;与量词???关的基本推理规则;苏格拉底到底死不死？;谓词逻辑中的推理（举例）;Prolog（Programming in Logic）;再一例;老钱该不该来？;老钱真的可以来;小结;[练习题] 每个喜欢微博的大学生都不喜欢看报纸，每个大学生喜欢看报纸或喜欢上网，并非每个大学生都喜欢上网，因而我们可以得出有的大学生不喜欢微博？;作业