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

谓词逻辑基础及其在计算机科学中应用.pdf

谓词逻辑基础及其在计算机科学中应用.pdf

    命题逻辑研究的基本单位是原子命题，不再对原子命题进行分解，也不再对原

    子命题的结构作进一步的分析。这是命题逻辑的一个特点，也是它的一个

    缺点。其缺点表现为以下两方面：

    1）它不能揭示某些有效的论证；

    例如：所有的人都是要死的，是人，所以是要死的。这是简单而

    有名的。直观地，我们认为这是一个有效的论证，但它却无法用命

    题逻辑予以推证。

    2）无法将具有某种共同属性题显示出来。

    例如：设P表示命题：张扬是；Q表示命题

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >