离散数学 练习题及的答案.pptVIP

例3给出下列公式的真值表 (P∧Q→R)→P POR PAQ PAQ→RA 成真指派:100,101,110,111 总复习  4 试求下面公式的主析取(主合取)范式,并写 出成真指派和成假指派 (一P→Q)→(QvP) 今-(PvO)V(-0√P 今(-P∧=Q-QvP (-P∧=Q(QA(PVPV(P∧(QvQ) P-QV(PQV(P∧Q) 成真指派:00,10,11 今(P-Q 成假指派:01 总复习  例5试证Q→(PV(PQ)分Q→P 证明Q→(P(P∧Q) SOV(PV(PA) Q√(PvP)A(PVQ Qv(P入(PQ 冷(Q∨P)∧(PV√Q Q→P 2014-2-25  例1符号化下列命题 a)不是所有的男人都比女人高。 M(×):是男人,W(x):x是女人,H(xy):x比y高 Vx(M(x)-y(W(y)H(x, yD)) 2014-2-25 总复习  例2证明 a)Vx(A(x)→B(x),VxB(x)→丑xA(x) 证明|1)Vx(-A(x)→B(x))P 2)-A(l)→B(l) 3)x-B(x) 4)-B(u) C/S3) 5)A(l T2)4) 6)彐xA(x) EG5) 2014-2-25 总复习