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

期中考试时间安排：复习资料：离散数学了解联结词：、、、、、、非、且、或、条件、双条件、与或、或非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 r r 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.等值式：AA AAAAAAABBAABBA(AB)CA(BC)(AB)CA(BC)A (BC)(AB)(AC)A(BC)(AB) (AC)(AB)AB(AB)ABA (AB) AA(AB) AA11A00A0AA1AAA1AA0ABABAB(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：pqpqp(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)(pqr)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(BA(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) 公式：ABABxF(x)x G(x) xF(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