1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. 计算机应用/办公自动化

应用离散数学第4版 第2章谓词逻辑上机练习答案.doc

应用离散数学第4版 第2章谓词逻辑上机练习答案.doc

    应用离散数学谓词逻辑

    PAGE

    杭电－周丽、方景龙第二章PAGE3

    第2章谓词逻辑上机练习

    编写下列程序并计算至少1个算例

    1．给定有限个体域上的一元命题函数，判断由组成的谓词公式是永真式、永假式还是可满足式。

    （1）实验原理

    在有限个体域下，量词可以展开为命题公式，实现谓词公式真值判定：

    1.设有限个体域D={a1,a2,...,an}，一元谓词为P(x)；

    2.全称量词展开：?xP(x)?P(a1)∧P(a2)∧…∧P(an)（所有个体均为真则整体为真）；

    3

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >