目录

课时一:命题逻辑

一、命题

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

二、命题联结词

题型:命题符号化

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

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

课时二:等值演算

一、等值式

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

题型:证明题

二、析取范式和合取范式

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

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

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

四、联结词的完备集

题型

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


【声明】

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

安然社区-CSDN社区云https://bbs.csdn.net/forums/Bit-runout

【前言】

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


课时一:命题逻辑

一、命题

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

命题的真值:分为真和假

命题的分类:

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

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

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

  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

常见等值式:

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

题型:证明题


二、析取范式和合取范式

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


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

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


四、联结词的完备集

题型


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

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

考试全过!

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

  1. 语言速算24点的小窍门_期末备考:小学数学期末常考题型汇总+速算解题思路分析...

    今天,小编整理了小学数学期末常考题型!顺便分析了速算解题的思路!如果你正为如何辅导孩子算数,那不妨看看小编总结的内容! (一)正方体展开图 正方体有6个面,12条棱,当沿着某棱将正方体剪开,可以得到正 ...

  2. 2021毛纲源常考题型解题方法_总结2021年考研数学六大常考题型

    时间过得真快,2020年考研刚刚结束,2021年考研的号角就已吹响,打算今年考研的小伙伴们准备的怎么样了呢?考研数学在研究生考试中的重要性不言而喻,因此大家需要尽早准备.那么,考研数学怎么复习呢?复习 ...

  3. 小升初数学计算机考试题,【2020年小升初数学常考题型及易错题分析】- 环球网校...

    [摘要]随着春天的到来,"小升初"这个关键词可能是广大家长朋友们最担心的一个问题,环球网校小编为广大家长朋友们整理发布了<2020年小升初数学常考题型及易错题分析>希望 ...

  4. 切比雪夫不等式例题讲解_14.初中数学:怎么求k的值?解一元一次不等式,基础常考题型...

    欢迎您来到方老师数学课堂,请点击上方蓝色字体,关注方老师数学课堂.所有的视频内容,全部免费,请大家放心关注,放心订阅. 初中数学:怎么求k的值?解一元一次不等式,基础常考题型.大家先在草稿本上认真地做 ...

  5. 计算机网考统考机考试操作题,计算机统考操作题常考题型

    <计算机统考操作题常考题型>由会员分享,可在线阅读,更多相关<计算机统考操作题常考题型(19页珍藏版)>请在人人文库网上搜索. 1.第二章 Windows操作系统操作题 (有1 ...

  6. DayDayUp:计算机技术与软件专业技术资格证书之《系统集成项目管理工程师》课程讲解之项目管理知识最全架构图、计算题四大题型、案例分析常考题型分析与经验技巧总结

    DayDayUp:计算机技术与软件专业技术资格证书之<系统集成项目管理工程师>课程讲解之项目管理知识最全架构图.计算题四大题型.案例分析常考题型分析与经验技巧总结 目录 一.项目管理知识架 ...

  7. 数据分析SQL常考题型、大厂例题及面试要点

    文章目录 1. 数据分析岗位技能要求 1.1 哪一个工具是数据分析师的核心工具 1.2 对于数据分析师来说,是否需要建模能力 1.3 数据分析岗位对业务有什么要求 1.4 数据的特点 1.5 优秀数据 ...

  8. 已知分布函数求概率密度例题_【考研数学】考试重点、难点和常考题型:?随机变量及其分布...

    本章重点掌握分布函数的性质.离散型随机变量的分布律与分布函数及连续型随机变量的密度函数与分布函数.常见离散型及连续型随机变量的分布.一维随机变量函数的分布. 1.本章的重点内容 随机变量及其分布函数的 ...

  9. c++图形中如何判断鼠标点击在一条直线上_中考数学常考题型精讲精练系列:函数图象上点的存在性问题中的距离与面积...

    函数图象上点的存在性问题中的距离与面积(下)第1段 函数图象上点的存在性问题中的距离与面积(下)第2,3段 函数图象上点的存在性问题中的距离与面积(下)第4段 判断函数的图像是中考的重要考点,主要有以 ...

  10. cisp-pte考试复盘及常考题型总结

    一.选择题 说基础也不基础,pte的题都是偏实践的那一类,感觉也不算简单,不好好看看还真容易栽这上面,那就太可惜了.比如:DMZ区.php伪协议.谷歌命令.%00截断中对php版本的要求等等类似的. ...

最新文章

  1. pandas中一列拆分成两列
  2. HttpClient的简单使用
  3. html5专著,参考文献专著
  4. java写手机游戏_如何将自己编写的JAVA小游戏写到手机里?
  5. linux调用堆栈函数,使用 backtrace 获得 Linux 函数调用栈
  6. linux 域名对应ip 端口号,【原创】Linux基础之测试域名IP端口连通性
  7. 引用之函数返回值 函数的返回值为引用类型《三》
  8. chrome浏览器不展示地址栏的完整路径解决
  9. CentOS8.3部署GlusterFS
  10. android与ios设计规范,Android和ios设计规范
  11. python输出斐波那契数列_如何用Python输出一个斐波那契Fibonacci数列
  12. Unity URP 渲染管线着色器编程 104 之 镜头光晕(lensflare)的实现
  13. C++ Reference: Standard C++ Library reference: C Library: cfenv: FE_DOWNWARD
  14. ping命令的多种玩法,以前竟然只用它来测试网速!
  15. 计算机win7卡顿如何解决方法,win7电脑玩2D游戏经常发生卡顿六大解决方法
  16. 单片机(STC系列8051内核单片机)
  17. SimCSE论文及源码解读
  18. HackTheBox::Bashed
  19. r语言怎么做经验分布_训练宝宝语言能力应该怎么做
  20. 日历(NSCalendar)

热门文章

  1. 大数据人工智能时代的核心思维——数学建模
  2. 使用VMware搭建一个局域网网络拓扑
  3. [网络流24题] 洛谷P3356 火星探险问题 费用流
  4. Cloudera Manager 安装
  5. (最详细)Cloudera Manager安装部署
  6. C++的背影 ——C++之父Bjarne Stroustrup印象(作者:左轻侯)
  7. 喜报 | 谱尼测试获得零跑科技第三方试验室认可
  8. 围棋规则 - AlphaGO
  9. 多目标进化算法(二)——非支配排序/NSGA-II
  10. 无线局域网安全(三)————CCMP加密