谓词演算的推理理论课件.ppt

上传人:晟*** 文档编号:15055086 上传时间:2023-12-10 格式:PPT 页数:24 大小:423.37KB
下载 相关 举报
谓词演算的推理理论课件.ppt_第1页
第1页 / 共24页
谓词演算的推理理论课件.ppt_第2页
第2页 / 共24页
谓词演算的推理理论课件.ppt_第3页
第3页 / 共24页
谓词演算的推理理论课件.ppt_第4页
第4页 / 共24页
谓词演算的推理理论课件.ppt_第5页
第5页 / 共24页
点击查看更多>>
资源描述

第第6讲讲 27 谓词演算的推理理论谓词演算的推理理论 要求要求:熟练掌握谓词的推理:熟练掌握谓词的推理理论理论与推理与推理方法方法,会用谓词的推理理论与推理方法进行会用谓词的推理理论与推理方法进行推理推理。重点重点:应用谓词的推理理论与推理方法进行:应用谓词的推理理论与推理方法进行推理推理。难点难点:正确理解和运用:正确理解和运用有关有关量词量词规则规则。谓词逻辑是命题逻辑的进一步深化和发展,谓谓词逻辑是命题逻辑的进一步深化和发展,谓词演算的推理方法,可以看作是词演算的推理方法,可以看作是命题演算推理方法命题演算推理方法的的扩张扩张。因此命题逻辑的推理理论在谓词逻辑中。因此命题逻辑的推理理论在谓词逻辑中几几乎可以完全照搬乎可以完全照搬,只不过这时涉及的公式是,只不过这时涉及的公式是谓词谓词逻逻辑的公式罢了。辑的公式罢了。在谓词逻辑中,某些在谓词逻辑中,某些前提前提和和结论结论可能可能受到量受到量词词的约束,为确立前提和结论之间的内部联系,有必的约束,为确立前提和结论之间的内部联系,有必要要消去消去量词和量词和添加添加量词,因此正确理解和运用有关量词,因此正确理解和运用有关量词规则是谓

展开阅读全文
相关资源
相关搜索

当前位置:首页 > 实用文档资料库 > 公文范文

Copyright © 2018-2021 Wenke99.com All rights reserved

工信部备案号浙ICP备20026746号-2  

公安局备案号:浙公网安备33038302330469号

本站为C2C交文档易平台,即用户上传的文档直接卖给下载用户,本站只是网络服务中间平台,所有原创文档下载所得归上传人所有,若您发现上传作品侵犯了您的权利,请立刻联系网站客服并提供证据,平台将在3个工作日内予以改正。