1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 中学教育
  5. 中学课件

谓词演算推证分析：从前提到结论逻辑验证.pdfVIP

  • 0
  • 0
  • 约4.2千字
  • 约 8页
  • 2026-02-10 发布于北京
  • 举报

谓词演算推证分析：从前提到结论逻辑验证.pdf

    例2.16

    解：推证不正确。

    设前提为xyF(x,y)，下面取解释I：域为R，在I下前提被解释为xy(xy)，为真；

    的推证是否正确？而yF(y,y)被解释为y(yy)，为假。

    (1)xyF(x,y)P所以推理不正确。

    (2)yF(y,y)T(1)US错误的是第(2)步

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >