1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 外语学习
  5. 英语学习

离散数学 课件 2.2 谓词公式及解释.pptx

离散数学 课件 2.2 谓词公式及解释.pptx

    2.2谓词公式及解释;定义设R(x1,x2,…,xn)是任意的n元谓词，t1,t2,…,tn是任意的n个项，则称R(t1,t2,…,tn)是原子公式.

    原子公式是由项组成的n元谓词.

    例如，F(x,y),F(f(x1,x2),g(x3,x4))等均为原子公式;定义合式谓词公式（简称谓词公式）定义如下：

    (1)原子谓词公式是谓词公式.

    (2)若A是谓词公式，则(?A)也是谓词公式

    (3)若A,B是谓词公式，则(A?B),(A?B),(A?B),(A?B)也是谓词公式

    (4)若A是谓词公式，x是个体变项，则?xA,?x

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >