离散数学笔记
前言:
本系列文章仅用于记录个人学习离散数学的心得体会,有不足之处望各位dalao予以斧正。
其实就是我懒得手写(字还丑),还不能贴截图上去 O(∩_∩)O
1. 命题及命题真值
定义
命题是表达判断的陈述句,有且只有唯一的真值
我们一般用大写字母表示命题(T/F除外)
命题的真值分为 T/1 F/0 两种 T/1 为真 F/0 为假
1.2.3.4 是命题 -----5. 没有唯一的真值不是命题-----6.7. 不是陈述句----8.是悖论
命题的种类
2. 逻辑连接词
六种连接词
奇奇怪怪的符号键盘敲不出来 /(ㄒoㄒ)/~~
- 否定
定义
设P为一个命题,P的否定是一个新命题 真值与P 相反 记作
- 合取
合取表示同时发生
3.或者
或者分为可兼或和排斥或
可兼或用于两命题可同时成立
排斥或用于两命题不可同时成立
可兼或
异或
二者的区别为 异或的两命题同时取真时 复合命题 取假
条件
条件分为前件和后件
当前件为假时 我们善意规定 复合命题为真
当前件为真时 复合命题的真假与后件相同
注意区分前件后件,写在前面的不一定就是前件
前件的定义是 前件一定是后件的充分条件 前件成立 后件一定成立
等价(双条件)
当P→Q 和 Q→P 同时成立 P<---->Q 才成立
注: 当P,Q为0 P→Q 成立 Q→P 成立