离散数学重点笔记,DOC
8页1、第一章, 0命题逻辑素数 = 质数,合数有因子 和 或 假必真 同为真(pq)(qr),(pq)r,p(qr)等都是合式公式,而pqr,(p(rq)等不是合式公式。若公式A是单个的命题变项,则称A为0层合式(pq)r,(pq)(rs)p)分别为3层和4层公式【例】求下列公式的真值表,并求成真赋值和成假赋值。 (pq)r公式(1)的成假赋值为011,其余7个赋值都是成真赋值第二章, 命题逻辑等值演算(1)双重否定律 AA(2)等幂律 AAA ; AAA(3)交换律 ABBA ; ABBA(4)结合律 (AB)CA(BC) ; (AB)CA(BC)(5)分配律 (AB)C(AC)(BC) ; (AB)C(AC)(BC)(6)德摩根律 (AB)AB ; (AB)AB(7)吸收律 A(AB)A;A(AB)A(8)零一律 A11 ; A00(9)同一律 A0A ; A1A(10)排中律 AA1(11)矛盾律 AA0(12)蕴涵等值式 ABAB(13)假言易位 ABBA(14)等价等值式 AB(AB)(BA)(15)等价否定等值式 ABABBA(16)归缪式 (AB)(AB)AAi(i=1,2,s
2、)为简单合取式,则A=A1A2As为析取范式 (pq)(qr)p A=A1A2As为合取范式 (pqr)(pq)r 一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛盾式一个合取范式是重言式当且仅当它的每个简单析取式都是重言式 主范式 【小真,大假】 成真 小写【例】 (pq)(qp) = (pq)(qp) (消去) = (pq)pq (内移) (已为析取范式) = (pq)(pq)(pq)(pq)(pq) (*) = m2m0m1m1m3 = m0m1m2m3 (幂等律、排序) (*)由p及q派生的极小项的过程如下: p = p(qq) = (pq)(pq) q = (pp)q = (pq)(pq) 熟练之后,以上过程可不写在演算过程中。 该公式中含n=2个命题变项,它的主析取范式中含了22=4个极小项,故它为重言式,00,01,10,11全为成真赋值。【例】(pq)p = (pq)p (消去) = p(pq) (分配律、幂等律) 已为析取范式 = (pq)(pq) = m0m1【例】(pq)(pq) = (pp)(pq)(qp)(qq) = (pq)(pq)重言蕴涵式 【例】用附
3、加前提证明法证明下面推理。前提:P(QR),SP,Q 结论:SR证明:(1)SP 前提引入规则(2)S 附加前提引入规则(3)P (1)(2)析取三段论规则(4)P(QR) 前提引入规则(5)QR (3)(4)假言推理规则(6)Q 前提引入规则(7)R (5)(6)假言推理规则【例】用归缪法证明。前提:PQ,PR,QS 结论:SR证明(1)(SR) 附加前提引入规则(2)SR (1)置换规则(3)S (2)化简规则(4)R (2)化简规则(5)QS 前提引入规则(6)QS (5)置换规则(7)Q (3)(6)析取三段论(8)PQ 前提引入规则(9)P (7)(8)析取三段论规则(10)PR 前提引入规则(11)PR (10)置换规则(12)R (9)(11)析取三段论规则(13)RR (4)(12)合取引入规则全称量词对无分配律。同样的,存在量词对无分配律 (3) xyF(x,y) x(F(x,a)F(x,b)F(x,c) (F(a,a)F(a,b)F(a,c)(F(b,a)F(b,b)F(b,c)(F(c,a)F(c,b)F(c,c) 谓词逻辑的等价公式 定理1 设A(x)是谓词公式
《离散数学重点笔记,DOC》由会员秋****分享,可在线阅读,更多相关《离散数学重点笔记,DOC》请在金锄头文库上搜索。
仁爱版英语八年级下学期全册教案26391
人教版小学二年级上册数学教案全册 (2)
人教版五年级下册语文复习教案教学设计59148
人教版九年级物理上册教案word
人教版七年级地理下册教案集合()59716
人教版五年级语文下册全册完整教案() (2)
人教版九年级语文上册教案全册 (2)
七年级数学培优讲义word版 (2)
人教版小学3-6年级英语单词汇总带音标 (2)
上海牛津版新八年级英语语法全真精讲讲义
三年级朗文3A教案 (2)
七年级八年级地理
人教版八年级英语上册Units1 至6单元测试题
三年级数学下册全册教案(人教版教学设计) (2)
人教版三年级科学下册教案57729
人教版内蒙古信息技术四至六年级全套教案
人教版小学二年级数学上册口算题(1)57633
人教版小学二年级数学上册堂堂清课课练题库 (2)
人教版英语新八年级上册复习各单元知识点和练习测试73950
三年级语文上册全套各单元复习资料(人教版)
2024-05-06 3页
2024-05-06 6页
2024-05-06 3页
2024-05-06 3页
2024-05-06 3页
2024-05-06 3页
2024-01-29 2页
2024-01-28 8页
2024-01-28 4页
2024-01-05 1页