离散数学之一阶逻辑基本概念与等值演算思维导图+大纲笔记(期末复习,考研,学习笔记,知识点总结)

大纲笔记

  • 基本概念

    • 一阶逻辑命题符号化

      • 个体词

        • 个体常项
        • 个体变项
        • 个体域
        • 个体总域
      • 谓词

        • 谓词常项
        • 谓词变项
        • 零元谓词
        • 特性谓词
          • 引入规则
      • 量词

        • 全称量词
        • 存在量词
    • 一阶逻辑1公式及解释

      • 基本概念

        • 原子公式
        • 谓词公式
      • 自由变元与约束变元

        • 自由变元
          • 换名规则
        • 约束变元
          • 带入规则
      • 闭式公式的解释

        • 非空集合(个体域)D
        • A中每个常量符号指定D中某个特定的元素
        • A中每个n元函数符号,指定Dn到D中的某个特定函数
        • A中每个n元谓词符号,指定Dn到{0,1}某个特定谓词
      • 公式类型

        • 永真式
        • 永假式
        • 可满足式
      • 代换实例
  • 等值演算

    • 一阶逻辑等值式与置换规则

      • 一阶逻辑公式之间的逻辑联系

        • 逻辑等价关系
        • 逻辑蕴涵关系
      • 一阶逻辑中的基本等值式

        • 第一组
          • 代换实例
        • 第二组

          • 消去量词等值式
          • 量词否定等值式
          • 量词辖域收缩与扩张
          • 量词分配等值式
          • 量词顺序等值式
      • 一阶逻辑中基本重言蕴涵式

        • 量词分配
        • 量词顺序
      • 置换规则
      • 换名规则
    • 一阶逻辑前束范式

      • 前束范式

        • 定义
        • 标志
          • 所有量词都在公式最前面
        • 范式存在定理

          • 一阶逻辑中的任何公式都存在等值的前束范式
          • 不含量词的一阶逻辑公式称为平凡前束范式
      • 一阶谓词的逻辑推理理论

        • 消去量词
          • US ES
        • 引入量词
          • UG EG
      • 一阶逻辑的推理
相关推荐
eybk1 小时前
Pytorch+Mumu模拟器+萤石摄像头实现对小孩学习的监控
学习
6.941 小时前
Scala学习记录 递归调用 练习
开发语言·学习·scala
Aileen_0v02 小时前
【AI驱动的数据结构:包装类的艺术与科学】
linux·数据结构·人工智能·笔记·网络协议·tcp/ip·whisper
守护者1703 小时前
JAVA学习-练习试用Java实现“使用Arrays.toString方法将数组转换为字符串并打印出来”
java·学习
学会沉淀。3 小时前
Docker学习
java·开发语言·学习
Rinai_R3 小时前
计算机组成原理的学习笔记(7)-- 存储器·其二 容量扩展/多模块存储系统/外存/Cache/虚拟存储器
笔记·物联网·学习
吃着火锅x唱着歌3 小时前
PHP7内核剖析 学习笔记 第四章 内存管理(1)
android·笔记·学习
ragnwang3 小时前
C++ Eigen常见的高级用法 [学习笔记]
c++·笔记·学习
胡西风_foxww4 小时前
【es6复习笔记】rest参数(7)
前端·笔记·es6·参数·rest