离散数学笔记(3)——谓词逻辑

Front Page 论坛 学术论坛 离散数学笔记(3)——谓词逻辑

标签: 

  • This topic has 0 个回复, 1 个参与人, and was last updated 1年 前 by wzf2000wzf2000.
正在查看 0 条回复
  • 作者
    帖子
    • #1843
      wzf2000wzf2000
      管理员
      积分: 290,030 点
      上三品·一品·陆地神仙

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

正在查看 0 条回复
  • 抱歉,回复话题必需登录。