期末离散数学前三章关键知识点整理——应试。
第一章命題邏輯：
特別注意：這里的非我用 - ,你們一定要寫書上的那種
1.命題公式判斷：
知道感嘆句、疑問句、祈使句不是命題就可。
2.命題符號化：
舉個(gè)例子：注意看答題模板
王曉既用功又聰明.
解 令 p：王曉用功，q：王曉聰明，則
? p∧q
指出p,q代指的內(nèi)容在進(jìn)行符號化。
符號語言轉(zhuǎn)化：
p->q :
?? 若 p，就 q
?? 若 p，則 q
?? 只要 p，就 q
??? p 僅當(dāng) q
?? 只有 q ?才 p
?? ????????除非 q, 才 p?? 或? 除非 q, 否則非 p
注意： p->q 與 -q->-p 等值
練一練：
設(shè) p:天冷，q:小王穿羽絨服，將下列命題符號化?
??? (1)? 只要天冷，小王就穿羽絨服.
??? (2)? 因?yàn)樘炖?#xff0c;所以小王穿羽絨服.
??? (3)? 若小王不穿羽絨服，則天不冷.
??? (4)? 只有天冷，小王才穿羽絨服.
??? (5)? 除非天冷，小王才穿羽絨服.
??? (6)? 如果天不冷，則小王不穿羽絨服.
??? (7)? 小王穿羽絨服僅當(dāng)天冷的時(shí)候.
答案：（1）p->q, (2) p->q, (3) -q->-p, (4) q->p,(5) q->p, (6) -p->-q,(7) q->p
p<->q表達(dá)：當(dāng)且僅當(dāng)。
聯(lián)結(jié)詞的優(yōu)先順序?yàn)?#xff1a;; 如果出現(xiàn)的聯(lián)結(jié)詞同級，又無括號時(shí)，則按從左到右
的順序運(yùn)算; 若遇有括號時(shí)，應(yīng)該先進(jìn)行括號中的運(yùn)算.
3.命題公式類型：
定義 設(shè)A為一個(gè)命題公式
? (1) 若A無成假賦值，則稱A為重言式(也稱永真式)
? (2) 若A無成真賦值，則稱A為矛盾式(也稱永假式)
? (3) 若A不是矛盾式，則稱A為可滿足式
判斷方法：
(1)真值表：
? 例6給出公式的真值表：的真值表
?適用范圍：命題元很少，一般兩個(gè)，而且形式簡單，即使這樣都有四行。列出所有結(jié)果來判斷，簡單但不推薦。此題A為重言式
（2）命題基本邏輯演算（后面講）
4.等值演算
公式：
注意：否定拿進(jìn)去要變號，分配律、德摩根、蘊(yùn)含等值式背不住就準(zhǔn)備掛科吧。
應(yīng)用舉例：
考試規(guī)則可以省略。
用等值演算法判斷下列公式的類型：
?排中律和矛盾律可以得出結(jié)果重言式或者矛盾式，如果最后得出一個(gè)單元的p或q可滿足式。注意：p->q,p假則整個(gè)命題為真。例如：如果太陽從西邊出來（p），我就不喜歡兔兔(q)。符號化：p->q.前件的p為假，我永遠(yuǎn)喜歡兔兔為真。鐵打定死了的，前件p為假就等于一句廢話。
5.范式
析取范式與合取范式 主析取范式與主合取范式?前一行只需要了解概念，考試靠后面的主析取與主合取范式。但是會(huì)用到前一行的步驟，相輔相成 。
注意：析取范式，鏈接符號是析取，兩邊內(nèi)容和合取。合取范式同理。
求解步驟：題目一般是含有蘊(yùn)含的表達(dá)式，結(jié)果不唯一
任何命題公式都存在著與之等值的析取范式與合取范式.
求公式A的范式的步驟：
?例：求下列公式的析取范式與合取范式
?最后一句話就是看做部分和整體的問題，想明白就行。
?主范式：
先明白極小項(xiàng)和極大項(xiàng)
定義 在含有n個(gè)命題變項(xiàng)的簡單合取式(簡單析取式)中，若每個(gè)命題變項(xiàng)均以文字的形式在其中出現(xiàn)且僅出現(xiàn)一次，而且第i個(gè)文字出現(xiàn)在左起第i位上，稱這樣的簡單合取式（簡單析取式）為極小項(xiàng)（極大項(xiàng)）.
?翻譯：每個(gè)極大項(xiàng)要包含所有命題的元
主析取范式: 由極小項(xiàng)構(gòu)成的析取范式
主合取范式: 由極大項(xiàng)構(gòu)成的合取范式
?計(jì)算步驟：
?例題:
?這里可以把每一項(xiàng)單獨(dú)處理，最后合并。
求公式的成真賦值和成假賦值
?主析取范式極小項(xiàng)m對應(yīng)成真賦值，主合取的極大項(xiàng)對應(yīng)成假賦值。算一種情況，然后減去就好，注意寫成二進(jìn)制。
6.命題邏輯的推理理論
?我們考試一般會(huì)考：前提結(jié)論式
例1? 判斷下面推理是否正確
? (1) 若今天是1號，則明天是5號. 今天是1號. 所以明天是5號.?
?注意連接詞的順序先后。
推理定律——重言蘊(yùn)涵式 ?
例 構(gòu)造下面推理的證明：
??? 若明天是星期一或星期三，我就有課. 若有課，今天必備課. 我今天下午沒備課. 所以，
??? 明天不是星期一和星期三.
?這個(gè)后面的推理依據(jù)根據(jù)老師要求，一般不可省略。推理規(guī)則要滾瓜爛熟。
7.一階邏輯中命題符號化
例? 在一階邏輯中將下面命題符號化
?? (1)?凡人都呼吸?? (2) 有人用左手寫字
?
例? 在一階邏輯中將下面命題符號化
???? (1) 正數(shù)都大于負(fù)數(shù)
???? (2) 有的無理數(shù)大于有的有理數(shù)
?注意這兩種題：前面表示的是一種特征，后面這道題表示的是關(guān)系。
等值式與基本等值式
?
?
?前束范式 ：所有特稱量詞發(fā)在最前面
注意:
? 公式的前束范式不惟一
? 求公式的前束范式的方法: 利用重要等值式、
? 置換規(guī)則、換名規(guī)則、代替規(guī)則進(jìn)行等值演算.
例 求下列公式的前束范式?
?自己練一練：
?
?第三章：包含排斥原理重點(diǎn)，自己下去看書吧。
?
總結(jié)
以上是生活随笔為你收集整理的期末离散数学前三章关键知识点整理——应试。的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。
- 上一篇： PMC荣获华为质量专项奖
- 下一篇： 浅谈vue双向绑定原理