Front Page › 论坛 › 学术论坛 › 离散数学笔记(3)——谓词逻辑
标签: 笔记
基本概念 个体与个体变元 能够独立存在的事物,称之为个体,也称之为客体。它可以是具体的,也可以是抽象的。 通常用小写英文字母 $a,b,c,\cdots$ 表示。 用小写英文字母 $x,y,z\cdots$ 表示任何个体,则称这些字母为个体变元。 谓词 用以刻画个体的性质或者个体之间关系的即是谓词。
[See the full post at: 离散数学笔记(3)——谓词逻辑]
© 2021 wzf2000's blog. Built using WordPress and the Materialis Theme
ICP备案号:浙ICP备19033308号