【数理逻辑与集合论】第一章 命题逻辑
这里只是自己对知识点的一个概述和理解,追求的是精简。
一、命题逻辑基本概念
1.命题:陈述句+真假性是肯定的。注意:悖论不是命题
2.原子命题符号化和联结词符号化:
- 否定
- 合取 (与)
- 析取 (或)
- 蕴涵 (只有1推出0才是0)
- 等价 (相同则为1)
3.合式公式(wff)
又称命题公式
将命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串称为合式公式或命题公式。
4.公式层次
若公式A是单个命题变项,则称A为0层公式。
每用一次联结词,层次加1。
5.重言式、永假式、可满足式
重言式=永真式,公式A怎么赋值最后都是真
矛盾式=永假式,公式A怎么赋值最后都是假
若公式A不是矛盾式,则称A是可满足式。
6.列真值表方法:
- 所有式子赋值
- 从低层往高层
- 最后一列判断
7.哑元
哑元是一种命题变项。
假设公式A、B中含有很多个命题变项,而A
或B不全含这些命题变项,比如B不含pi、pi+1…,这些命题变项就是B的哑元。
B的哑元就是 A并B 与 A 的 差集。(灰色部分)
二、命题逻辑等值演算
1.等值的定义
等价式在两个公式全部相同的时候为真,重言式要求结果都是真,也就意味着两个公式的值都是一样的,所以通俗地来讲,等值式其实就是当给两个式子赋相同的值时,两个式子输出的值相同。
2.基本等值式
7解释:把V看作是max(),^看作是min()。吸收律是很重要的思想。
8零率就是毫无作为,为零,为空,一场空,比如和1做并,和0做交,鱼儿爱上了鸟儿,都是一场空。
9同一律就是足够强,永远不改变自己,和0做并,和1做交,永远还是自己。
10排中律就是我和非我构成了这个世界。
11矛盾律就是我和非我势不两立。
12可以这样记忆:A→B只有左1右0时为0,而V只有两边都为0才为0,所以刚好可以。
13等价的话意味着左边可以推到右边,右边也是如此。
14逆否命题
16A推到B,A也能推出非B,所以A是非A。
三、析取范式和合取范式
几个简单合取式的析取式 叫 析取范式
几个简单析取式的合取式 叫 合取范式
命题变项和它的否定式不同时出现的简单合取式——极小项
命题变项和它的否定式不同时出现的简单析取式——极大项
一个析取范式的简单合取式都是极小项,那它就是主析取范式。
一个合取范式的简单析取式都是极大项,那它就是主合取范式。
如果一个公式能写成完整的主析取范式的形式,则该公式是重言式,写出来的不完整就是可满足式,一点都写不出来就是矛盾式。
三、命题逻辑的推理理论
主要任务:用数学的方法来研究数学中的推理。
推理的真假 和 蕴涵的思路 一致。
1.A一定能推出来AorB。
2.AandB一定能推出来A。
3.和4.用 A→B = ~AvB 这个式子
A⇒B,只要A是B的一部分就够了。
6.和7.好理解,传递性
8.和9.死记硬背
【数理逻辑与集合论】第一章 命题逻辑相关推荐
- 【离散数学】数理逻辑 第一章 命题逻辑(5) 对偶式、对偶原理
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
- 【离散数学】数理逻辑 第一章 命题逻辑(7) 命题逻辑的推理理论
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
- 【离散数学】数理逻辑 第一章 命题逻辑(3) 逻辑等价与蕴含
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
- 第一章 命题逻辑(数理逻辑)
文章目录 第一章 命题逻辑 1.1 命题与逻辑联结词 Propositional Logic 1.2 命题公式及其赋值 Application of Propositional Logic 1.3 命 ...
- 基础集合论 第一章 集合与集合的运算
序,集合与集合的运算 序 第一章 集合与集合的运算 1 概述 2 集合 2.1 集合和两个基本关系 2.2 外延公理 公理一:外延公理 外延公理的逆命题 2.3 空集公理 公理二:空集公理 2.4 等 ...
- 【离散数学】数理逻辑 第一章 命题逻辑(4) 联结词的完备集
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
- 第一章 命题逻辑 1.7 推理理论
1.6 组合电路老师应该不会讲(咱们上一届就没讲),所以咱们直接跳过. 1.7 推理理论 定义: 称蕴含式(A1A_1A1 ∧\wedge∧ A2A_2A2 ∧\wedge∧ ⋯\cdots⋯ ∧ ...
- 离散数学复习总结 第一章 命题逻辑的基本概念
命题逻辑的基本概念 申明:以下内容为 笔者根据已学内容自己进行的总结,仅供参考. 1.1命题与联结词 1.1.1命题部分 a命题定义:非真即假的陈述句. b命题的判断结果为真值 真值只有俩个:真或者假 ...
- 用java输出真值表离散数学_离散数学 第一章 命题逻辑 1-4真值表与等价公式
定义1-4.1在命题公式中,对于分量指派真值的各种可能组合,就确定了这个命题公式的各种真值情况,把它汇列成表,就是命题公式的真值表. 现举例说明如下: 例题1 构造┓p∨q的真值表. 解 表1-4.1 ...
最新文章
- 机器学习Top10算法,教你选择最合适的那一个!
- 从0 开始 DIY你的Arduino UNO
- 上传jar到nexus的thirdparty第三方库
- NIO详解(九):Channel详解
- php 定时脚本执行wget无效_写了个Bug,误执行rm fr /*,瞬间背后一凉!
- iPhone开发 调用阿asp.net程序的webservice
- 怎么两边同时取ln_男生“两边铲光”发型out了?试试这4款吧,剪完清爽又帅气...
- android 简易涂鸦板,canvas实现的简易涂鸦板效果
- Java虚拟机-垃圾回收简介
- 同样是数据分析师,他靠“打标签”总被夸,我天天加班取数还被骂
- [转载] [转载] python反三角函数arctan_Python numpy.arctan() 使用实例
- 博客园 编程基础 精华
- wxpython grid设置字体颜色_Ext grid改变行背景颜色 和改变行字体颜色
- 用DISM修复Win10系统文件教程
- 高效沟通的方法和工具
- 计算机基础进制转换(二进制、八进制、十进制、十六进制)
- 基于开源的BPM流程引擎VS天翎自研BPM流程引擎
- pytorch训练过程中内存一直慢慢增长直到爆
- 交大家简单又好吃的蛋黄酥的做法
- 如何构建自己的云数据库?建立云数据库是否要收费?