离散数学i课件-第1章-5(下).pptVIP

⑼ Q(b)→?L(a,b) US ⑺ ⑽ L(a,b) →?Q(b) T ⑼ E ⑾ D(b)→?Q(b) T ⑻⑽ I ⑿ ?D(b)∨?Q(b) T ⑾ E ⒀ ?(D(b)∧Q(b)) T ⑿ E ⒁ ?y?(D(y)∧Q(y)) UG ⒀ ⒂ ??y(D(y)∧Q(y)) T ⒁ E 【example 6】证明： ?x(A(x)∨B(x)),?x(B(x)→?C(x)),?xC(x)??xA(x) (1) ?x(A(x)∨B(x)) P (2) A(a)∨B(a) ES (1) (3) ?x(B(x)→?C(x)) P (4) B(a)→?C(a)) US (3) (5) ?xC(x)