离散数学知识点汇总_离散数学学的是什么

离散数学知识点汇总_离散数学学的是什么文章目录命题的判断命题的表示复合命题联结词的种类¬¬¬否定→→→单条件蕴含↔\leftrightarrow↔双条件蕴含∧\wedge∧合取公式∨\vee∨析取公式真值表¬¬¬否定→→→单条件蕴含↔\

命题的判断

  • 陈述句
  • 能够唯一判定其真值
  • 命题真值为真,则本命题是个真命题
  • 命题真值为假,则本命题是个假命题
  • 命题是命题逻辑中最小的不可再分的单元

Note:命题的真值,可以理解为命题描述的这个意思~

Example:

张三是法外狂徒。

  • 是个陈述句
  • 法外狂徒是张三的属性,是这个命题的真值
  • 如果张三真是个法外狂徒,那么这是个真命题
  • 如果张三不是个法外狂徒,代表这个命题的真值是假的,是个假命题

Example2:

我说的话是假话

  • 是个陈述句
  • 假话是这句话的属性,也是这个命题的真值。
  • 但是这个命题的真值没办法被唯一确定
  • 因为如果这句话确实是句假话,那么这个命题是真的,而且这句话确实是句假话,那就与命题相悖;
  • 因此无法唯一确定这个命题的真值,因此这不是个命题

命题的表示

  • 一个命题通常用小写字母来表示,比如用 p p p 来表示:“张三是法外狂徒”;
  • 同样的也可以用 q q q 来表示 “今天要下雨” 这个命题。

复合命题

  • 用 “联结词” 修饰的命题,或是连接不同命题,使其成为复合命题。
  • 复合命题可以没有现实逻辑的意义。只要符合命题逻辑符号的规范,我们都认为是没有问题的。

Example:
如果 张三是法外狂徒,那么 明天会下雨

  • p p p :“张三是法外狂徒”;
  • q q q : “今天要下雨”
  • p → q p→q pq
  • 这就是个复合命题。

联结词的种类

除了上述的 → → “单条件蕴含” 之外,还有以下联结词符号。

¬ ¬ 否定

→ → 单条件蕴含

↔ \leftrightarrow 双条件蕴含

∧ \wedge 合取公式

∨ \vee 析取公式

真值表

对于单纯的简单命题 p p p 来说,它的命题真值只可能有两个,要么 T T T 要么 F F F
对于复合命题来说,就不同了:

Example

  • p p p
  • q q q
  • p → q p→q pq

就这个复合命题来看。 p p p 一定是真命题么?不一定, q q q 一定是真命题么? 也不一定;

所以, p → q p→q pq 这个复合命题,在什么情况下才是真命题呢?

按照常理, p , q p, q p,q 都有两种情况,那么这个复合命题的结果可能有四种情况;让我们列个表看一下(T 表示1, F 表示 0):

其实下面这种情况是 前人早就规定好的 。即当两个命题之间存在 单条件蕴含关系 的时候,只有一种情况会导致复合命题是假命题,即,前面的命题为真,后面命题为假(图中第三行);其他假设条件下,这个复合命题 p → q p→q pq 都是真命题。
在这里插入图片描述
按照前人的规定,在这里列出所有的基本运算的真值表情况;方便后面计算

¬ ¬ 否定

在这里插入图片描述

→ → 单条件蕴含

在这里插入图片描述

↔ \leftrightarrow 双条件蕴含

在这里插入图片描述

∧ \wedge 合取公式

在这里插入图片描述

∨ \vee 析取公式

在这里插入图片描述
Note:合取公式和析取公式很有意思,具有互补的感觉。合取只有一种情况为真,那就是两个简单命题都为真,而析取只有一种为假,那就是两个简单命题都为假

双条件蕴含和单条件蕴含也存在有趣的关系,单条件蕴含只有 p p p 真, q q q 假的时候为假,而双条件蕴含除此之外,还在 p p p 假, q q q 真的时候也为假。

今天的文章离散数学知识点汇总_离散数学学的是什么分享到此就结束了,感谢您的阅读。

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。
如需转载请保留出处:https://bianchenghao.cn/86609.html

(0)
编程小号编程小号

相关推荐

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注