离散数学笔记（一）

离散数学笔记

前言：
本系列文章仅用于记录个人学习离散数学的心得体会，有不足之处望各位dalao予以斧正。
其实就是我懒得手写（字还丑），还不能贴截图上去 O(∩_∩)O

1. 命题及命题真值

定义
命题是表达判断的陈述句,有且只有唯一的真值
我们一般用大写字母表示命题（T/F除外）
命题的真值分为 T/1 F/0 两种 T/1 为真 F/0 为假

1.2.3.4 是命题 -----5. 没有唯一的真值不是命题-----6.7. 不是陈述句----8.是悖论

命题的种类

2. 逻辑连接词

六种连接词

奇奇怪怪的符号键盘敲不出来 /(ㄒoㄒ)/~~

1. 否定
   
   定义
   设P为一个命题,P的否定是一个新命题 真值与P 相反 记作
   
2. 合取
   合取表示同时发生
   
   3.或者
   或者分为可兼或和排斥或
   可兼或用于两命题可同时成立
   排斥或用于两命题不可同时成立
   
   可兼或
   
   异或
   

二者的区别为 异或的两命题同时取真时 复合命题 取假

条件
条件分为前件和后件

当前件为假时 我们善意规定 复合命题为真
当前件为真时 复合命题的真假与后件相同


注意区分前件后件,写在前面的不一定就是前件
前件的定义是 前件一定是后件的充分条件 前件成立 后件一定成立

等价(双条件)
当P→Q 和 Q→P 同时成立 P<---->Q 才成立

注: 当P,Q为0 P→Q 成立 Q→P 成立