离散数学复习 数理逻辑部分
文章目录
- 前言
- 数理逻辑
- 1.命题逻辑的基本概念
- 2.命题逻辑等值演算
- a.基本等值式
- b.复合联结词
- 3.命题逻辑的推理理论
- a.推理定律
- b.推理规则
- c.推理方法
- 4.一阶逻辑的基本概念及等值演算
- a.一阶逻辑与二阶逻辑
- b.一阶逻辑基本等值式
- c.置换规则、换名规则、代替规则
- 总结
前言
期末考要到了，整理《离散数学及其应用》书中的数理逻辑部分。
数理逻辑
数理逻辑是研究形式推理的数学分支，形式推理由一系列的陈述句组成
1.命题逻辑的基本概念
2.命题逻辑等值演算
a.基本等值式
b.复合联结词
3.命题逻辑的推理理论
a.推理定律
b.推理规则
c.推理方法
1）直接证明法
实例：
2）附加前提证明法
实例：
3）归谬法
实例：
4）消解证明法
实例：
4.一阶逻辑的基本概念及等值演算
a.一阶逻辑与二阶逻辑
一阶逻辑 (也称谓词逻辑): 将量词作用于个体，引入个体变元，讨论不确
定的对象。
二阶逻辑：将量词作用于谓词，引入谓词变元，属于二阶逻辑研究范围。
b.一阶逻辑基本等值式
第一组 命题逻辑中16组24个基本等值式的代换
第二组
c.置换规则、换名规则、代替规则
总结
书中还有集合论，图论及组合数学等知识。好好复习。
离散数学复习 数理逻辑部分相关推荐
- 6阶子群同构于s3或者z6_[2017年整理]离散数学复习.ppt
[2017年整理]离散数学复习 1 各章核心内容 数理逻辑部分 深刻理解各联结词的逻辑关系, 熟练地将命题符号化 会求复合命题的真值 深刻理解合式公式及重言式.矛盾式.可满足式等概念 熟练地求公式的真 ...
- 【离散数学】数理逻辑 第一章 命题逻辑(5) 对偶式、对偶原理
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
- 【离散数学】数理逻辑 第一章 命题逻辑(7) 命题逻辑的推理理论
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
- 【离散数学】数理逻辑 第一章 命题逻辑(3) 逻辑等价与蕴含
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
- 离散数学复习资料和试题
离散数学复习资料和试题 集合论 1. 集合与集合之间的关系, 元素与集合之间的关系 1．判别下列各题是否正确: (1){1,2}Í{1,2,3,{1,2,3}} 正确 (2){p,q,r}Í{ p,q ...
- 离散数学复习笔记——数理逻辑
概念 数理逻辑:用数学方法来研究推理的形式结构和推理规律 数理逻辑: ①命题逻辑 (Propositional Logic) •命题逻辑基本概念 •命题逻辑等值演算 •命题逻辑推理理论 ②谓词逻辑 ( ...
- 离散数学复习/预习大纲
近期准备研究生复试又复习了一下离散,为避免以后忘记,记录如下 思维导图 思维导图链接 https://mubucm.com/doc/6KVQKblgMV5 注:由于本人已经大四了,很多课程都学过,故本 ...
- 6阶群的非平凡子群_离散数学复习笔记
, 则v-e+r=2.如果图不连通,则有v-e+r=1+W(G) kuratowaski定理:G是平面图等价于它不含在2度结点内与K5或者K3,3同构的子图 对偶图 1.对偶图:把S中的边对应成S'中 ...
- 软件离散数学复习笔记资料
下面的内容是对PDF文档OCR得来的,错误很多.可以去下载我上传的pdf原文件. 数理逻辑 逻辑:以研究人的思维形式及思维规律为目的的一门学科 数理逻辑:利用数学符号来协助推理的一门形式逻辑学 命题: ...
最新文章
- python怎么设置环境变量_百度经验_如何在Python中设置环境变量
- python笔试题110题_《Python程序设计》试题库
- SpringBoot Web原生组件注入（Servlet、Filter、Listener）
- 大数据实践的 6 个阶段
- sklearn自学指南(part16)--SGD,Perceptron,PassiveAggressive
- 域名怎么绑定ip_服务器怎么绑定域名?
- oracle分区和锁的难,oracle使用三(锁和表分区)
- jzoj4282-[NOIP2015模拟10.29B组]平方数游戏【构造】
- 集合论——二元关系的定义组成及性质
- 自动服务器批量装机,PXE高效批量网络装机
- AdaBoost中利用Haar特征进行人脸识别算法分析与总结2——级联分类器与检测过程
- python可视化三维矩阵点
- java字体除了宋体,为什么许多中文网站的主要字体仍然采用宋体而不是微软雅黑？...
- PostgreSQL与mysql语法不同
- 卸载神器：geek（绝对好用，中国人不骗中国人）
- DIY LDAC蓝牙接收器（一）预备篇
- godaddy无法修改域名服务器,GoDaddy域名修改DNS教程 - 修改DNSPOD及CLOUDXNS免费DNS
- OA审批流程是什么？如何提升OA审批流程效率？
- 前端 Vue 浏览器调试工具 Vue.js devtools 安装
- 中普审计系统无法连接服务器,中普审计信息系统内审版-简单操作说明大全.doc...