1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 高等教育
  5. 微积分

离散数学及其应用：一阶逻辑PPT教学课件.pptx

离散数学及其应用：一阶逻辑PPT教学课件.pptx

    2.1一阶逻辑的基本概念

    2.2一阶逻辑公式及解释

    2.3等值演算和前束范式

    2.4一阶逻辑推理理论

    ;;基本概念

    简单命题的结构分解成个体和谓词。

    个体：(客体)我们讨论的对象。可以是具体的，也可以是抽象的。

    个体域(论域)：个体所构成的非空集合。

    全总个体域(无限域)：包含宇宙中一切事物的个体域。

    谓词：简单命题中，表示一个个体的性质或多个个体间的关系的词。

    ;之所以称之为谓词，是因为谓词和个体词一起构成了简单命题中的主谓结构。

    如：

    小王是学生。

    3是素数。

    2整除6。

    3位于2与5之间。;通常用大写字母F、G、H(可加下标)来表示谓词。

    如：

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >