离散数学2.1一阶逻辑基本概念-谓词和量词.pdfVIP

§2.1 一阶逻辑基本概念-谓词和量词 引例：判断以下推理是否正确： 凡人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的。 这是著名的“苏格拉底三段论”。 凭直觉这个论证是正确的，但无法用命题演算表达出 来。为了深入研究形式逻辑中的推理问题，我们将命题演 算扩充，引入谓词演算。 1 在命题逻辑中，命题演算的基本单位是命题，不再对原 子命题进行分解，故无法研究命题语句的结构、成份和内在 的逻辑特征。为此将原子命题分解成个体和谓词这样两个组 成部分。 例：在上述论证中， “人总是要死的”可以分解成 “人” （个体）与“是要死的”（谓词）。 在命题的研究中，基于谓词分析的逻辑，称为谓词逻辑。 谓词逻辑是命题逻辑的扩充和发展。 2 一、个体词，谓词，量词。 1、个体词、谓词 例如：李华是大