离散数学课件 第二章 谓词逻辑.pptx

离散数学

DiscreteMathematics

第二章谓词逻辑2.1谓词的基本概念2.2谓词公式与解释2.3谓词公式的等值式与前束范式2.4谓词演算的推理理论2.5应用2

2.1谓词的基本概念第2章谓词逻辑个体与谓词量词3离散数学

2.1.1个体与谓词4定义2.1在原子命题中，可以独立存在的客体（句子中的主语、宾语等）称为个体词，简称个体。个体词可以是具体的，也可以是抽象的。表示具体的或特定的个体词称为个体常项，一般用小写英文字母a，b，c，…表示。表示抽象的或泛指的个体词称为个体变项，常用小写英文字母x，y，z，…表示。个体变项的取值范围称为个体域（或论域）。个