半路出家的android程序员，内功修为需要累积，先是数学基础，再到数据结构，量变到质变，直到打通任督二脉，写代码时能用数学的模型命题，再已数学的定理进行算法删减优化，才能成为万中无一的高手。
命题
命题是一个或真或假的陈述语句。
符号
命题
- ¬ . 读非 ，等效于 ！
- ∧ . 读与， 等效于 &&
- ∨ . 读或，等效于 ||
- ⊕ . 读异或 ，等效于 ^
- 今天是星期五 （事件a） 今天下雨（事件b）
合取 ：a ∧ b => 今天是星期五并且今天下雨；
析取 ：a ∨ b => 今天是星期五，或今天下雨；
条件语句
- → . p→q 等效于 若p则q；也可读作 p蕴含q。
1.如果下雨 ，主队就能获胜 ；
蕴含倒置 ： 如果主队没有获胜，那么没有下雨；
逆蕴含： 如果主队获胜，那么下雨了；
反蕴含： 如果没有下雨，那么主队没有获胜；
双条件语句
- <->. 等效于当且仅当 p<->q 等效于 （p→q）∧（q→p）
双条件与条件语句的区别：
如果下雨 ，主队就能获胜 ；（敌方认输也可以获胜）
主队能获胜当且仅当下雨；（除了下雨，没有其他办法了）
双条件语句是数学中才有的，在现实中很少。
优先级
D528B669-8F9B-4441-853A-E7AD6B564EF2.png
翻译语句
-
1.只有你主修计算机科学或不是新生，才可以从校园访问因特网
你主修计算机科学：a
不是新生: ¬b
可以从校园访问因特网 : c
a∨¬b →c -
2.除非你已满16周岁，否则只要你身高不足4英尺就不能乘公园滑动铁道游行车。
你已满16周岁 ： a
你身高不足4英尺: b
不能乘公园滑动铁道游行车: ¬c
a∧¬b → ¬c -
3.判断下面规范说明是否一致：
诊断消息存储在缓冲区中或者被重传
诊断消息没有存储在缓冲区中
如果诊断消息存储在缓冲区中，那么他被重传
分析：
诊断消息存储在缓冲区中： p
诊断消息重传: q
三个表达式：
p∨q ¬p p→q
假设： 二成立：¬p为真
要使p∨q为真，q为真，p为假 p→q 为真
（没有理解的建议看下真值表，或者是叫我加上，这个只是看书笔记《离散数学及其应用》随意写的） -
4.逻辑难题之骑士还是流氓
两人
骑士不说谎
流氓必说谎
A说：B是骑士 ；B说： 我们不是一类人
分析：
A是骑士：p
B是骑士：q
设：p为真，B是骑士， B说不成立（骑士不说谎），p证为假。
设 : p为假，B是流氓， B说成立，p为假
网友评论