《离散数学及其应用》读书笔记【一】逻辑和证明

对于一个经常计算机打交道的程序员来说 有两门知识及其重要一个是离散数学一个是数据结构

离散数学让我们可以用最接近计算机运行的方式去处理编写代码 对思路有着及其重要的指导作用
数据结构则可以让我们了解计算机运行时数据的结构 更好的处理问题等

最近这段时间正好有空就把《离散数学及其应用这本书》打算看几遍 看的是中文版对比英文版有很大删减

在接触离散数学前对 或与非 已经有很多的接触 但并未正式的系统学习 所以今年计划把一些基础性的知识补习一下 为以后发展做好基础知识储备

命题逻辑

命题
命题：是一个或真或假的陈述句只有一种状态
用字母代表命题元（命题变量）

析取 合取 非 （或与非）
可以简单的记忆为（具体真值可以参考真值表）：
合取：当两者同真时才为真（真1）符号：∧（当初记忆时为了和∨区别 合字 上面的的人正好和∧相似 这样就很容易记住了）
析取：有一者为真即为真（真3）符号：∨
非：非真为假 非假为真（取反）（真2）符号：¬
异或：两者相反即为真（真2 =析取-合取）符号：¬

条件运算
可以简单的记忆为（具体真值可以参考真值表）：
单条件运算：p→q时 只有p为真q为假时为假 其余为真（真3） 符号：→（读作:若…则 …）
p→q：逆 倒置