【期末不挂】离散数学 · 常考题型你都会了叭~

简介: 常考题型你都会了叭~

目录

课时一:命题逻辑

一、命题

题型:判断下列是否为命题

二、命题联结词

题型:命题符号化

题型:判断公式类型(真值表)

题型:求公式的成真赋值和成假赋值

课时二:等值演算

一、等值式

题型:判断公式类型(等值演算)

题型:证明题

二、析取范式和合取范式

题型:求公式的合取范式和析取范式

 

三、 主析取范式和主合取范式

题型:求主合取范式和主析取范式

四、联结词的完备集

题型

结语:遇见安然遇见你,不负代码不负卿!


【声明】

安然社区初立,非常欢迎铁汁加入其中,可以将自己的文章同步到社区中哦,对于优质文章会特别加精,让更多的小伙伴们看到,同时社区正在筹办一项活动,有现金红包奖励,快来加入我们吧,用一年的时间打造成CSDN一流社区!

image.png

【前言】

嗐,最近在备战期末考试,所以有些博客专栏就停了,但是叭,我一天不写就有点不舒服,所以就把这几天的复习成果给写出来了,权当电子笔记,下面讲的比较浅显哦,都是些常考知识点和题型,仅限于“期末不挂”的层面。



 

课时一:命题逻辑

一、命题

命题的定义:能判断真假陈述句。

命题的真值:分为真和假

命题的分类:

  • 真命题和假命题;
  • 简单命题和复合命题

【注意】:简单命题又叫原子命题,是不能再拆分的命题。

题型:判断下列是否为命题

  1. 小张是个大学生(T)
  2. 地球外的星球上有人(T)
  3. 2200年元旦是晴天(T)
  4. 请关门(F)
  5. 2x+4>10(F)
  6. 我正在说谎话(F)

【解释】

1,2,3属于真值暂时未定的命题;

第5题需要注意的是:命题的真值一定是唯一的;第6题属于悖论,不是命题


二、命题联结词

题型:命题符号化

<1>. 2和5都是有理数

=>令P:2是有理数, Q:5是有理数;=> P^Q

<2>.2和5的乘积是有理数

=>令P:2和5的乘积是有理数

【注意】:<1>和<2>重在体会自然语言中的“和”与合取中的“和”不一样的地方。

<3>.小丽喜欢唱歌或者喜欢跳舞

=>令P:小丽喜欢唱歌,Q:小丽喜欢跳舞;=> PvQ (这里是兼容或)

<4>.今天晚上九点小丽看书或者打球(这里是不兼容或,表示方法如下)

<5>.如果天气好,我就去公园。

=>令P:天气好,Q:我去公园;=> P->Q

<6>.只要天气好,我就去公园。

=> P->Q

<7>.只有天气好,我才会去公园。

=> Q->P

<8>.仅当天气好,我才会去公园。

=> Q->P


【注意】:对于5,6,7,8题,考的是蕴含->,P->Q:P是条件,Q是结论,=> P是Q的充分条件;但是需要对于题意有所理解才不会混淆。


<9>.经一事,长一智,并且不经一事,不长一智。

<10>.天津是直辖市的充要条件是2+3 = 5

=> 令P:天津是直辖市,Q:2+3=5;=> P<->Q

题型:判断公式类型(真值表)

分成三种公式类型:

  • 重言式:公式真值恒为1(永真式);


  • 矛盾式:公式真值恒为0(永假式);


  • 可满足式:非矛盾式,注意哦,重言式也算是特殊的可满足式,但是可满足式不是重言式。

利用真值表法解题:

题型:求公式的成真赋值和成假赋值


课时二:等值演算

一、等值式

若A<->B为永真式,则称A、B是等值的,记作A<=>B,称A<=>B为等值式,注意,"<=>"不是联结词"<->",而是逻辑等价,也可以写成A=B,A|=|B

常见等值式:

题型:判断公式类型(等值演算)

题型:证明题


二、析取范式和合取范式

题型:求公式的合取范式和析取范式


三、 主析取范式和主合取范式

题型:求主合取范式和主析取范式


四、联结词的完备集

题型


结语:遇见安然遇见你,不负代码不负卿!

祝大家平平安安,心想事成!

    考试全过!


目录
打赏
0
0
0
0
3
分享
相关文章
【蓝桥杯集训·每日一题】 AcWing 3996. 涂色
文章目录 一、题目 1、原题链接 2、题目描述 二、解题报告 1、思路分析 2、时间复杂度 3、代码详解 三、知识风暴 区间DP Unique函数
146 0
【蓝桥杯集训·每日一题】AcWing 4309. 消灭老鼠
文章目录 一、题目 1、原题链接 2、题目描述 二、解题报告 1、思路分析 2、时间复杂度 3、代码详解 三、知识风暴 最大公约数
151 0
【蓝桥杯集训·每日一题】AcWing 1249. 亲戚
文章目录 一、题目 1、原题链接 2、题目描述 二、解题报告 1、思路分析 2、时间复杂度 3、代码详解 三、知识风暴 并查集
138 0
【蓝桥杯集训·每日一题】AcWing1394. 完美牛棚
文章目录 一、题目 1、原题链接 2、题目描述 二、解题报告 1、思路分析 2、时间复杂度 3、代码详解 三、知识风暴 匈牙利算法
196 0
【蓝桥杯集训·每日一题】AcWing 4005. 取石子游戏
文章目录 一、题目 1、原题链接 2、题目描述 二、解题报告 1、思路分析 1. 正解 2. 打表找规律 2、时间复杂度 3、代码详解 三、知识风暴 博弈论
186 0
【蓝桥杯集训·每日一题】AcWing 4496. 吃水果
文章目录 一、题目 1、原题链接 2、题目描述 二、解题报告 1、思路分析 2、时间复杂度 3、代码详解 三、知识风暴 求组合数
92 0
【蓝桥杯集训·每日一题】AcWing 3382. 整数拆分
文章目录 一、题目 1、原题链接 2、题目描述 二、解题报告 1、思路分析 2、时间复杂度 3、代码详解 三、知识风暴 背包DP
117 0
【蓝桥杯集训·每日一题】AcWing 1051. 最大的和
文章目录 一、题目 1、原题链接 2、题目描述 二、解题报告 1、思路分析 2、时间复杂度 3、代码详解 三、知识风暴 线性DP
119 0
【蓝桥杯集训·周赛】AcWing 第 95 场周赛
文章目录 第一题 AcWing 4873. 简单计算 一、题目 1、原题链接 2、题目描述 二、解题报告 1、思路分析 2、时间复杂度 3、代码详解 第二题 AcWing 4874. 约数 一、题目 1、原题链接 2、题目描述 二、解题报告 1、思路分析 2、时间复杂度 3、代码详解 第三题 AcWing 4875. 整数游戏 一、题目 1、原题链接 2、题目描述 二、解题报告 1、思路分析 2、时间复杂度 3、代码详解
187 0
【蓝桥杯集训·周赛】AcWing 第94场周赛
文章目录 第一题 AcWing 4870. 装物品 一、题目 1、原题链接 2、题目描述 二、解题报告 1、思路分析 2、时间复杂度 3、代码详解 第二题 AcWing 4871. 最早时刻 一、题目 1、原题链接 2、题目描述 二、解题报告 1、思路分析 2、时间复杂度 3、代码详解 第三题 AcWing 4872. 最短路之和 一、题目 1、原题链接 2、题目描述 二、解题报告 1、思路分析 2、时间复杂度 3、代码详解
94 0
AI助理

你好,我是AI助理

可以解答问题、推荐解决方案等