离散结构-谓词逻辑-04

离散结构-谓词逻辑

谓词逻辑基本概念

谓词

刻画个体词性质及个体词之间相互关系的词

个体词、个体域

命题函数

量词：

特征量词

谓词逻辑及其符号化

符号总结：

一阶语言：

原子公式的定义：

自由与约束：

例题：

谓词公式的分类：