离散数学笔记（3）——谓词逻辑 – wzf2000's blog

标签：笔记

This topic has 0 个回复, 1 个参与人, and was last updated 1年前 by wzf2000.

正在查看 0 条回复

作者
帖子
- 2019年9月26日 - 下午3:24 #1843
  wzf2000
  管理员
  积分: 290,030 点
  上三品·一品·陆地神仙
  基本概念个体与个体变元能够独立存在的事物，称之为个体，也称之为客体。它可以是具体的，也可以是抽象的。通常用小写英文字母 $a,b,c,\cdots$ 表示。用小写英文字母 $x,y,z\cdots$ 表示任何个体，则称这些字母为个体变元。谓词用以刻画个体的性质或者个体之间关系的即是谓词。
  [See the full post at: 离散数学笔记（3）——谓词逻辑]
作者
帖子

正在查看 0 条回复

抱歉，回复话题必需登录。