程序员经验分享-hwhale

离散数学知识点总结（6）：自然推理系统；13 个推理规则； 如何使用推理规则

2023-11-14

自然推理系统的定义

在这里插入图片描述

13个推理规则

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
Note： 国外课本《离散数学及其应用中的表格》
在这里插入图片描述

如何在自然推理系统中构造有效论证的方法

直接证明法

  • 由前提利用推理规则直接推出结论

附加前提证明法（cp规则）

  • 如果结论是一个蕴含式，那么可以把蕴含式的前提移动到整个式子的前提中作为一个附加前提。
    Example
    想证明： A 1 ∧ A 2 ∧ . . . A n ⊨ C → B A_1\wedge A_2 \wedge ...A_n \models C\rightarrow B A1​∧A2​∧...An​⊨C→B
    相当于证明： A 1 ∧ A 2 ∧ . . . A n ∧ C ⊨ B A_1\wedge A_2 \wedge ...A_n \wedge C \models B A1​∧A2​∧...An​∧C⊨B
    原因是：
    在这里插入图片描述

反证法 / 归谬法（Proofs by Contradiciton）

  • 要证明： A 1 ∧ A 2 ∧ . . . A n ⊨ B A_1\wedge A_2 \wedge ...A_n \models B A1​∧A2​∧...An​⊨B
  • 就要证明： A 1 ∧ A 2 ∧ . . . A n ∧ ¬ B ⊨ ⊥ A_1\wedge A_2 \wedge ...A_n \wedge ¬ B \models \bot A1​∧A2​∧...An​∧¬B⊨⊥
  • 即：在前提中加入 ¬ B ¬ B ¬B 推出矛盾
  • 因为：
    在这里插入图片描述

对位证明（Proofs by contraposition）

  • 证明逆否命题是正确的

举例

直接证明法举例

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

附加前提法举例

在这里插入图片描述
在这里插入图片描述

归谬法举例

在这里插入图片描述
在这里插入图片描述

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

计算模型基础离散数学

逻辑学，离散数学

离散数学知识点总结（6）：自然推理系统；13 个推理规则； 如何使用推理规则 的相关文章

  • 【千律】C++基础：类定义和类实现的分离

    类定义就是指定义类名 是 h文件 类实现是指对类定义的具体实现 是 cpp文件 下面是Student h中的内容 pragma once include

  • frc机器人比赛主题_参加了十几场机器人竞赛后，我才敢告诉你：怎样做到不“踩坑”？...

    在决定参加比赛之前 先问自己为什么 为什么要先聊这一点 因为这个问题会决定你的很多选择 很多家长会先去看那个 果 比如 比赛获奖有没有用 这个比赛含金量如何 但是这个 因 是每个家长要先问自己的 你是不是认同机器人竞赛是对孩子综合能力的提升

  • 2000端口号的坑

    这两天对接某游戏的充值接口的时候碰到一个恶心的问题 公司机器和服务器请求游戏方2000端口号的时候 死活获取不到返回No Response 但是同一个请求串外网环境都是正常的 经多次和游戏方你来我往之后发现 2000端口默认是sccp协议

  • 2W字长文吐血整理 Docker&云原生

    Docker 和 云原生 一 概念介绍 1 1 Docker Docker 是一个开源的应用容器引擎 让开发者可以打包他们的应用以及依赖包到一个可移植的镜像中 然后发布到任何流行的 Linux或Windows操作系统的机器上 也可以实现虚拟

  • React 应用的 Nginx 缓存控制

    典型 React 应用面临的缓存问题 可通过 Nginx 配置进行解决 通用部署 构建应用后 只需使用 Nginx 指向静态文件即可 server listen 80 root PATH TO APP build try files uri

  • 爬虫碎碎念

    20230304 非专业人士 简单记录自己的需求和思考 0 引言 平时看到一些网站的照片什么的 有那种批量下载的需求 当然有些也是视频网站的图片介绍什么的 也即是说 我需要把这些网站的照片批量下载下来 以前的时候 写过简单的爬虫 因为需求比

  • Docker——搭建ELK

    安装Elasticsearch 1 拉取镜像 docker box home box docker pull elasticsearch 7 14 2 2 在宿主机准备配置文件 创建目录 docker box mkdir p server0

  • 资源list：Github上关于大数据的开源项目、论文等合集

    Awesome Big Data A curated list of awesome big data frameworks resources and other awesomeness Inspired byawesome php aw

  • 注释转换（C->C++）

    转换原理图解 基于上图原理 可以写出代码 主函数 define CRT SECURE NO WARNINGS 1 include

  • Jenkins从配置到实战(二) - Jenkins的Master-Slave分布式构建

    前言 Jenkins的Master Slave分布式构建 就是通过将构建过程分配到从属Slave节点上 从而减轻Master节点的压力 而且可以同时构建多个 有点类似负载均衡的概念 简单理解就是 将Jenkins服务器上的构建任务分配到其他

  • 数据采集专家----4通道AD采集子卡推荐

    FMC136是一款4通道250MHz采样率16位AD采集FMC子卡 符合VITA57规范 可以作为一个理想的IO模块耦合至FPGA前端 4通道AD通过高带宽的FMC连接器 HPC 连接至FPGA从而大大降低了系统信号延迟 该板卡支持板上可编

  • Unity_Shader高级篇_16_Unity Shader入门精要_减少计算复杂度

    16 8 减少计算复杂度 16 8 1 Shader的LOD技术 和16 5 2提到的模型的LOD技术类似 Shader的LOD技术可以控制使用的Shader等级 它的原理是 只有Shader的LOD值小于某个设定的值 这个Shader才会

  • vue rsa对密码加密（jsencrypt）

    首先用npm命令下载jsencrypt npm install jsencrypt dep 在vue文件中引入jsencrypt import JSEncrypt from jsencrypt 对password加密 this encryp

  • vcglib 说明（转载）

    先来看看 VCGlib 能做什么 最基本的 它提供 Mesh triangular mesh tetrahedralmesh 三角网格或四面体网格 数据结构的定义 该数据结构支持对 Mesh数据的快速访问 拓扑信息 空间查询等 以及高效执行

  • Linux编译器-gcc 的使用以及 make/Makefile的用法

    文章目录 一 gcc 编译器 1 gcc 命令格式 gcc选项 2 完成过程 2 1预处理 2 2 编译 生成汇编 2 3 汇编 生成机器可识别代码 2 4 链接 生成可执行文件 二 make Makefile 1 简单介绍 2 示例代码

  • Scala高阶函数

    匿名函数 而在大量的spark中大都用的是匿名函数 不为函数命名 然后将其复制个一个变量 如 匿名函数格式 Val 变量名 参数 类型 gt 函数体 高阶函数 函数参数 1 将函数做参数传给另一个函数 如 首先我们定义了一个函数BigDat

  • 学习记录——matlab批量读取与存储

    要求文件名按照一定规律排列 如 代码 clc close all clear 设置目标文件夹的路径 folder C Users 26748 Desktop two saveFolder C Users 26748 Desktop two0

  • 手撕机器学习算法--一步步推导-------NFL（没有免费午餐定理）

    文章目录 前言 一 NFL是什么 二 表现形式 三 介绍 四 手动推导 前言 其实机器学习也好 深度学习也罢 在我看来 代码编程终究是不重要的 因为现成的库 其数学原理 其公式推导才是我们需要理解的地方 一 NFL是什么 没有免费的午餐定理

  • BLAS+BLACS+LAPACK+SCALAPACK安装

    最快的安装是用下面的scalapack installer 它将自动联网安装SCALAPACK以及所需要的BLAS BLACS LAPACK 下面是简短说明 INTRODUCTION The ScaLAPACK installer is a

随机推荐

热门标签