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

离散数学 课件 2.3 谓词公式与翻译.pptx

离散数学 课件 2.3 谓词公式与翻译.pptx

    CHAPTER02谓词逻辑2.3谓词公式与翻译

    目录CONTENTS01谓词公式合式公式的定义

    与构成规则02例题解析（一）自然语言语句的

    符号化03翻译与解释谓词公式的解释

    与个体域的重要性04例题解析（二）在给定解释下

    求公式的真值05谓词公式的分类有效公式、矛盾公式

    可满足公式

    2.3.1谓词公式定义2.6：谓词演算的合式公式(Well-FormedFormula)1原子谓词公式是合式公式。2若A是合式公式，则?A是一个合式公式。3若A和B都是合式公式，则(A∧B),(A∨B),(A→B),和(A?B)是合式公式。4如果A是合式

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >