离散数学左孝凌.pptVIP

第二章 谓词逻辑（Predicate Logic）  2-1 谓词的概念与表示(Predicate and Its Expression);例如，下列推理： 所有的人都是要死的。 苏格拉底是人。 苏格拉底是要死的。 众所周知,这是真命题。但在命题逻辑中,如 果用P,Q,R表示以上三个命题，则上述推理过 程为：（P∧Q）?R。借助命题演算的推理理 论不能证明其为重言式。;第二章 谓词逻辑（Predicate Logic）  2-1 谓词的概念与表示(Predicate and Its Expression);第二章 谓词逻辑（Predicate Logic）  2.1 谓词的概念与表示(Predicate and Its Expression);第二章 谓词逻辑（Predicate Logic）  2-1 谓词的概念与表示(Predicate and Its Expression);第二章 谓词逻辑（Predicate Logic）  2-1 谓词的概念与表示(Predicate and Its Expression);第二章 谓词逻辑（Predicate Logic）  2-1 谓词