离散数学笔记（3）——谓词逻辑

[wzf2000]

基本概念 个体与个体变元 能够独立存在的事物，称之为个体，也称之为客体。它可以是具体的，也可以是抽象的。 通常用小写英文字母 $a,b,c,\cdots$ 表示。 用小写英文字母 $x,y,z\cdots$ 表示任何个体，则称这些字母为个体变元。 谓词 用以刻画个体的性质或者个体之间关系的即是谓词。
[See the full post at: 离散数学笔记（3）——谓词逻辑]

[作者]

帖子