期中考试时间与复习资料.docx

期中考试时间安排：复习资料：离散数学了解联结词： 、、 、 、 、 、 非、且、或、条件、双条件、与或、或非pq= (pq) ; pq= (pq)命题真假判断：P为真，p为假pq pq pq pqP为真，q为真： 1 1 1 1P为真，q为假： 1 0 0 0P为假，q为真： 1 0 1 0P为假，q为假： 0 0 1 13.命题符号化：例1：虽然天气很冷，老王还是来了。 P:天气冷 q：老王来了 pq 例2：只有天下大雨。他才乘公共汽车上班。 P:天下雨 q:他乘公共汽车上班 qp4.真值表：例： p(qr)p q rr qr p(qr)0 0 0 1 1 00 0 1 0 0 00 1 0 1 1 00 1 1 0 1 01 0 0 1 1 11 0 1 0 0 01 1 0 1 1 11 1 1 0 1 1重言式：取值均为真；矛盾式：取值均为假；非真非假式：取值可真可假5.等值式：A AAAAAAAABBAABBA(AB) CA(BC)(AB)CA(BC)A (BC) (AB) (AC)A(BC) (AB) (AC)(AB) AB(AB) ABA (AB) AA(AB) AA11A00A0 AA1AAA1AA0ABABAB(AB) (BA)ABBAABAB(AB) (AB) A6.等值演算：例：p(qr) (pq) rp(qr) p(qr) p(qr) pqr(pq) r(pq) r7. 简单析取式：p、q、p、q、pq简单合取式：p、q、p、q、pq析取范式：（pq）( pq)合取范式：（pq） ( pq)pq 、pqr、pqr 既是析取范式，又是合取范式 主析取范式： 例1：p q pqp(qq) (pp) q(pq)(pq) (pq)(pq)m0m1m3(0,1,3)主析取范式M22主合取范式例2：(pq) r (pr)(qr) (p(qq) r) ((pp) qr) (pqr) ( pqr) (pqr) (p qr)M0M2M4(0,2,4)主合取范式m1m3m5m6m7(1,3,5,6,7)主析取范式总结：当你求主析取范式或者主合取范式时，只需求出一种，即可求取另外一种。主析取范式和主合取范式是互补的，即miMi, Mimi。当你求主析取范式时，对应极小项，本身为1，非为0（即q为1，q为0）；当你求主合取范式时，对应极大项，本身为0，非为1（即q为0，q为1）。并且命题公式的主析取范式都是存在的，且是唯一的。8.存在量词：全称量词：.在一阶逻辑中将下列命题符号化例1：凡有理数均可表成分数F(x) : x是有理数 ；G(x): x可表示成分数 ( F(x) G(x)) 例2：没有不吃饭的人F(x): x是人 G(x): x吃饭 x(F(x) G(x)) 或 ( F(x) G(x)).一阶逻辑等值式：x(A(x) B) (x A(x) B)x(A(x) B) (x A(x) B)x(A(x) B) (x A(x) B)x(BA(x)) (Bx A(x))x(A(x) B) (x A(x)B)x(A(x) B) (x A(x) B)x(A(x) B) (x A(x) B)x(B A(x)) (Bx A(x)).前束范式：形式：Q1x1Q2x2Q3x3…QkxkBQi为或 ，B为不含量词的谓词公式规则：约束变元：换元；自由变元：代替例1：x F(x) x G(x)x F(x) xG(x)x F(x) yG(y) 约束变元x需换元x( F(x) yG(y))公式：x(A(x) B) (x A(x) B)xy( F(x) G(y))例2：x F(x) x G(x) x F(x) x G(x)公式：ABAB x F(x) x G(x) x F(x) y G(y)同上xy(F(x) G(y))例三：(x F(x, y) y G(y)) x H(x, y) (x F(x, z) y G(y)) x H(x, z) 自由变元y需代替 (x F(x, z) y G(y)) t H(t, z)约束变元x需代替 (x (F(x, z) y G(y))) t H(t, z) 公式：x(A(x) B) (x A(x) B)(xy (F(x, z) G(y))t H(t, z