当前位置:网站首页>离散结构及其应用重要知识点总结
离散结构及其应用重要知识点总结
2022-04-22 11:22:00 【Warm wolf】
离散结构及其应用重要知识点总结
小白为熟悉知识点,特此将自己课堂所学发表至此。希望能巩固自己的知识点时候同时帮助到需要学习离散结构的同学,如有错误还希望各位能够提出!相互帮助成长。
1. 逻辑和证明
1.1 命题
命题是一个陈述语句,或真或假,但不能既真又假。
命题的真值:真(1、T),假(0、F)
EX. 1.北京是中国的首都 T
2.1+1=2 T
3.3-x =5 x的值不能确定
4.几点了? 请关上门。 (非陈述语句)
5.除地球外的星球有生物 (Y真值确定,但是未知)
1.2条件语句
“如果p,则q” ,当p为真而q为假时,条件语句p→q为假,否则为真。在条件语句中,p称为假设(前提、前件),q为结论。
p-q的真值表
1.3双条件语句()
“p当且仅当q”,当p和q有同样的真值时,双条件语句为真,否则为假。双条件语句也叫作双蕴含。

在这里插入图片描述
1.31逻辑运算的优先级
——插图
命题等价式
定义1.一个命题永远为真的命题叫做永真式,也称重言式,一个永假的式子叫做矛盾式。既不是用真也不是永假的式子叫做可能式。
版权声明
本文为[Warm wolf]所创,转载请带上原文链接,感谢
https://blog.csdn.net/qq_51969153/article/details/115695494
边栏推荐
- Article 84: the most important thing for investment is the safety framework: at the end of the pig cycle, animal husbandry has become the only definite plate in the two cities (framework thinking)
- L2-030 冰岛人 (25 分)
- 华为云IoT专家团张俭:22岁就已成为华为高级工程师,代码是我对这个世界想说的话
- Chat聊天App第6节课创建主聊天静态页面
- 云原生虚拟化:基于 Kubevirt 构建边缘计算实例
- vulnhub The Planets: Earth
- Tamigou knowledge | process of equity transfer of new third board company
- 2. flddler响应显示乱码问题解决方案
- 分支和循环语句
- 2022年技能大赛“网络安全”(中职组)D模块电子答题卡解析-新漏洞
猜你喜欢
随机推荐
解决Command line is too long. Shorten command line for........错误
关于正则表达式匹配密码问题
ES6 learning notes 4 numerical representation related to numerical expansion (octal representation) (reprinted, the memo is not my original)
As a half salted fish in the workplace, how can we do well in test management
How to solve this problem when installing MySQL?
什么样的项目适合做自动化测试?
Postman interface testing tool video tutorial, zero basic entry to master graduation
使用 Bitnami PostgreSQL Docker 镜像快速设置流复制集群
Qdebug() print debugging information
Synchronized lock and its expansion
图解文件系统——我见过讲文件系统讲的最好的文章了
Basic knowledge of machine learning
2022年技能大赛“网络安全”(中职组)D模块电子答题卡解析-新漏洞
How to make the tab top by clicking on the tab bar
Ampere computing releases the computing power of observation cloud "core" and jointly promotes the development of observability
创建对象内存分析与继承
怎么得到tuphub.today热榜和热度呢?
11.(地图数据篇)OSM数据如何下载使用
Synchronized锁及其膨胀
12. (map data) cesium city building map








